diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2024-01-13 01:09:33 +0000 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2024-01-13 01:09:33 +0000 |
| commit | 58523314abd7b5740c06e3bbcd41ada404e7c612 (patch) | |
| tree | 2ec4372c4b63bd8679af9b4c591c2743e421b1b9 /dev-lang/boogie | |
| parent | 4fc30e4e13ecfbe29fbef3b5caf96218eab30b68 (diff) | |
gentoo auto-resync : 13:01:2024 - 01:09:33
Diffstat (limited to 'dev-lang/boogie')
| -rw-r--r-- | dev-lang/boogie/Manifest | 6 | ||||
| -rw-r--r-- | dev-lang/boogie/boogie-3.0.6.ebuild | 3 | ||||
| -rw-r--r-- | dev-lang/boogie/boogie-3.0.8.ebuild | 3 | ||||
| -rw-r--r-- | dev-lang/boogie/boogie-3.0.9.ebuild | 3 |
4 files changed, 9 insertions, 6 deletions
diff --git a/dev-lang/boogie/Manifest b/dev-lang/boogie/Manifest index 893ae9a76397..2ba3b0ed436d 100644 --- a/dev-lang/boogie/Manifest +++ b/dev-lang/boogie/Manifest @@ -193,7 +193,7 @@ DIST system.xml.xpath.4.0.1.nupkg 250135 BLAKE2B d6f211f98f33f6b8959b918cff8e676 DIST system.xml.xpath.4.3.0.nupkg 250182 BLAKE2B 8a4177d47af56bc7a6289ed8f2cac41d504dee212a858ed221277b3f523b1ce38ccb47bc3ce4d59a2c7cfd77f00f3c9693a9c257c90adb38096ee77a860f10cc SHA512 2bd0979a2020579fb32ad374b89929a272e763ee1233ed9a215408c0a1f9f82a5fdb74330c1c55a6102e0dfdb8b7b59ed25fdf6454bf3de146152ea779f366e0 DIST system.xml.xpath.xmldocument.4.0.1.nupkg 86933 BLAKE2B 4c03b5a9433c2c954e75d212f9026885aa7514574b73a54880c3d55baee6bd5517abb46b67b22b9b6e63de92a8bc5ab4ff37e3f7e6454a5c5137ae2be6574b75 SHA512 81041a08d3b9158c43dfb48d42f13ec9950d7c2b7f63e1600a779a77786edfb46c522c32d9cc6a44358fbfe11efba0e539e578ef169261867a1905b8121a045d DIST system.xml.xpath.xmldocument.4.3.0.nupkg 138523 BLAKE2B ba53f3b5ac0f2d1d1e9120940b302e6960690ed4a44b96ba15b03e16f9159f2c57d6004aa55b796ba2327009d23fc2f10d4d09e948b88eb6af36efa5f76e401b SHA512 f75b6f7c75874ab6053e8942c1662a6e9a3561aa01502437b8d67f3bfcebd1ebf906792801326889ed7acb094c55469766d7d27cd10bc61b46ddaaa94dfc11e3 -EBUILD boogie-3.0.6.ebuild 9046 BLAKE2B d3fb98f0a54771f4041f8b8dfab5dcdc1d42009e1c8c5e2e04f1a5f691d870dedf5eb017028e73e7be0921b173614f78c765a4fbb49815dac074c3737f9afe12 SHA512 9b192fbfbd52a5bd4a3d076967dff68016249ff07453d146e361b6e253369887b885c0c4f6c40cf05e496f21dccbaa486889da6e92caf5ab2d70a53319bbbc98 -EBUILD boogie-3.0.8.ebuild 9207 BLAKE2B e30a4bcc0bf12884c887d3c4283c52dc6e8fc6053372e45d2e0495647b102fff8fa30ea3a6c33b467a64d4181d99e26336f28623c14aa5b75f3bc091509d59dc SHA512 a932037627a3546e200cb0d5b5a2647acba9069b943d68812d66a6abb3cafbfe7fe1b07f8565d58c0976218ed9cfaa4af18254918e9a0659200877cc621a4506 -EBUILD boogie-3.0.9.ebuild 9229 BLAKE2B aef5c35881a17a2594060adfad5b17cf5aefd9fbbebcd09f6d93a32bcced68508095c6e6e9ac293d71d1c34f8b47e09f74d00ac2eb3138a24d03a041b87ae76d SHA512 aa78521d95c675d004d2cd249f5d28bd4fa1801ce644bed06e094631658122e3b10baca9786708f24a48d699a0dda8e1419653f4a0c28c70211083c6740cc52b +EBUILD boogie-3.0.6.ebuild 9075 BLAKE2B d1cad1f44021b02c444eb1448e834cf8d2f601a932f677dadf3559e3c95db35e4c3c6b07b51ba66565ac68d38e3c25134abb928df884224fc34b36845b9d0702 SHA512 5229c2ad8d2f4e03b49008a1b6004a5837dee31499f0a16993b7c28123c150017f04205b386b96dd22208c860debdb0e7508ca9505b13f1e338c5321576eab7b +EBUILD boogie-3.0.8.ebuild 9236 BLAKE2B 6d91bd4854ac556d260df88b38157face2a61b05d8c4e03c5160e13daa3e64bd603e3add93f381c943ac205aae64d46cbfd3ef91a0a42f8afff2f866db468b88 SHA512 9a51e56d79d088acff6d5d17c85cefb687393116a584d45ef213f4f242777dcccad8159b959818ae5ffc097feec35b940adaa86d21118df9b1f6c35a22a2e8ff +EBUILD boogie-3.0.9.ebuild 9258 BLAKE2B db8f9164f461500832f944480307fd8502077377f2fde0a1b97f2156451b7423543ea8922c56c19730f1422e628bd76a191aafa9805dbdf29469eec7edaeb940 SHA512 e2eeb3cd484ac7cfea57cdf274731ecbfb0f06d7ac9b684ca4bd91873338230e632e94bbc52e1f0e7e1718676ef88b2d7490512869db99adbbfbddcce1c139e0 MISC metadata.xml 1102 BLAKE2B 215544658792715aae72787f7c949ed89df9c05ceab5a919a861c02b7938c0d1ee228e0ede55008287b616faf70992a8c1f2854e6e5e1fc909718ae682996bb8 SHA512 b6a626c485e2a5db3390da62c629507a60417eda8b508d7ed8d1c017ac337743d2c4fe0e8554b103f989176dcd2969cc8579e91532b07a22c1b66328ef241e8d diff --git a/dev-lang/boogie/boogie-3.0.6.ebuild b/dev-lang/boogie/boogie-3.0.6.ebuild index 8c65652b87cd..fc04c4ae131e 100644 --- a/dev-lang/boogie/boogie-3.0.6.ebuild +++ b/dev-lang/boogie/boogie-3.0.6.ebuild @@ -1,4 +1,4 @@ -# Copyright 1999-2023 Gentoo Authors +# Copyright 1999-2024 Gentoo Authors # Distributed under the terms of the GNU General Public License v2 EAPI=8 @@ -257,6 +257,7 @@ src_prepare() { livevars/bla1.bpl prover/cvc5-offline.bpl prover/cvc5.bpl + prover/z3-hard-timeout.bpl prover/z3mutl.bpl test0/MaxKeepGoingSplits.bpl test15/CaptureInlineUnroll.bpl diff --git a/dev-lang/boogie/boogie-3.0.8.ebuild b/dev-lang/boogie/boogie-3.0.8.ebuild index fc11c8860265..dc24d3c3fe93 100644 --- a/dev-lang/boogie/boogie-3.0.8.ebuild +++ b/dev-lang/boogie/boogie-3.0.8.ebuild @@ -1,4 +1,4 @@ -# Copyright 1999-2023 Gentoo Authors +# Copyright 1999-2024 Gentoo Authors # Distributed under the terms of the GNU General Public License v2 EAPI=8 @@ -259,6 +259,7 @@ src_prepare() { livevars/bla1.bpl prover/cvc5-offline.bpl prover/cvc5.bpl + prover/z3-hard-timeout.bpl prover/z3mutl.bpl test0/MaxKeepGoingSplits.bpl test15/CaptureInlineUnroll.bpl diff --git a/dev-lang/boogie/boogie-3.0.9.ebuild b/dev-lang/boogie/boogie-3.0.9.ebuild index d43d6b2020ca..a971cec1cdde 100644 --- a/dev-lang/boogie/boogie-3.0.9.ebuild +++ b/dev-lang/boogie/boogie-3.0.9.ebuild @@ -1,4 +1,4 @@ -# Copyright 1999-2023 Gentoo Authors +# Copyright 1999-2024 Gentoo Authors # Distributed under the terms of the GNU General Public License v2 EAPI=8 @@ -260,6 +260,7 @@ src_prepare() { prover/cvc5-offline.bpl prover/cvc5.bpl prover/exitcode.bpl + prover/z3-hard-timeout.bpl prover/z3mutl.bpl test0/MaxKeepGoingSplits.bpl test15/CaptureInlineUnroll.bpl |