summaryrefslogtreecommitdiff
path: root/dev-lang/dafny
diff options
context:
space:
mode:
Diffstat (limited to 'dev-lang/dafny')
-rw-r--r--dev-lang/dafny/Manifest24
-rw-r--r--dev-lang/dafny/dafny-4.4.0-r1.ebuild592
-rw-r--r--dev-lang/dafny/dafny-4.6.0.ebuild5
-rw-r--r--dev-lang/dafny/files/dafny-4.4.0-lit-config.patch14
-rw-r--r--dev-lang/dafny/files/dafny-4.4.0-lit-system-boogie.patch11
5 files changed, 5 insertions, 641 deletions
diff --git a/dev-lang/dafny/Manifest b/dev-lang/dafny/Manifest
index d7e7ad877bd5..33e7f85bfa00 100644
--- a/dev-lang/dafny/Manifest
+++ b/dev-lang/dafny/Manifest
@@ -1,38 +1,23 @@
AUX dafny-3.12.0-DafnyCore-csproj.patch 1022 BLAKE2B 6f1d895027a5991192e410f4fa6f4da36dd558d6477869e9554c21a5c0f5cde338f2b7e43b1d89eb3781b80b480f6bec8bb0fd54301205a54251b541d5aace71 SHA512 c49ffd681ef6da9b7c708414d86ac670c7c1cad67a05ace872e6baa9b4f441cb164add6bc92a5f693a3609c48f63011fefc5266eb97a8fc0b619b1d6cc013c93
AUX dafny-3.12.0-DafnyRuntime-csproj.patch 865 BLAKE2B 33d94935c9aba72b3ef23e878d40d9b533b945c35e1aa339ef2762d75b7e50fafff70a857faac7309b500c3b48fbc5a3cc32e518d2a39f15fa2e2136c926a200 SHA512 eee2c28f577989a4ebdde70df1c4195d6e53ca083eebd1d080073e479bcd490fe495089b4771c84abdf658b87c5dc7ff7d7f9a2ac41ce58982a777f207f86244
-AUX dafny-4.4.0-lit-config.patch 421 BLAKE2B 70c442fd505fbe350e31212ee23746d2b43c8f713de004a8ea0c801d46be5bf98f7a2feddad94ed91661621003ae6d20c10e57b3c8a7ecd8699a012507535740 SHA512 9c010d990ebfc6ba046c61489a138f4047ed7e17121f093fac19bee274baa40fc1fbff11d6f637aaf93e55de69c30709b53291fd3991adf9938d811f6c1f9599
-AUX dafny-4.4.0-lit-system-boogie.patch 623 BLAKE2B e10f224ad87ce64af785b8f2409395d69824c921be51b6271c2c1beaf3d2020a293dadd5b2735aed32d25737431bd6d4307ac7ee28cfd3753393ac262d88395c SHA512 97e06ec2ad1f1086aeb8726f90a0316ff1d1ccfd6aaaeadd00f913d79c5e88abaa7f6ea7899a0f37ae521ad27f674bb4cbce9b7f25a1b5ee462c06adf594d146
AUX dafny-4.5.0-lit-config.patch 830 BLAKE2B 5a073eba4d633b14f491fb18adb8aed821bd97696aea331c32a99570f74ccd69775356ffcee826f9eefc857ae5956874c994ee3a65c6b12b0e1f1fda3ca0d21f SHA512 d04777e29ea8d6f879a7b9b986d68bb6d4bafcbc686816e0aa2bd46bf6d5d6838e11085482f742e7a33c90bdd3551ef57ea10cf6c18373cb3dc89392482cec30
DIST bignumber.js-9.1.2.tgz 79226 BLAKE2B 3d2ff19d73a6fcfbcc0d03d1e9808796baae639e19973cbe0c26af4b514abc299129b8a7bc3e4e803c61af44b76f4381b1965d8fa331ea43e8a4c8fc7f98d8e7 SHA512 dbf98ac991fd2bce5bcce11f8570c11594c6775093b3ee481e9785428f65ba2046ee1821742f39d4f8f658085be84dd1e9bf6d663fd72a16e0e1fba6f8a7a9ba
-DIST boogie.abstractinterpretation.3.0.9.nupkg 29646 BLAKE2B 20b0e150d3a9a6ed11a24cd9920a97971d515207d86864a9b1cd4d554b2b3c34e27778051a9bf6d8b3178352a6cfbb33c363b2d69958f6503e17e366ca3e1147 SHA512 26b75a409b4bfe5dd4ac982ca2c1b03df2118254a9becaab74f4d44b652746faa0448ab943ee9177f6a0fd105f8ce015a4403b6ff58df12201b542c50618b222
DIST boogie.abstractinterpretation.3.1.3.nupkg 29640 BLAKE2B 6ebadfc92014018649ba1998f878ca8d8cda2df25d8b7f5243becd27bcafbcc166c071769adabdc99098b4fbf4aee8a6de8be9f8da43b3a3e1511dba96bbf2d1 SHA512 b950ceab224aca2a6d9a0202d2f79dc59f5e8f18f710933d843e8eb6dae9badadf6f78e79297f74bbe35a9d9170f2c928174c93a6edfd70e79aa282348b4be58
-DIST boogie.basetypes.3.0.9.nupkg 25717 BLAKE2B c1e549c6d7c675fd3b1acbe1a39fb5854d182b70ebab734350439dfd0cfd2be879b1d2b9c91ad832dae8e6f695fbc41510285bc7573b11fd51a170d4bbc50780 SHA512 d561f66a89af09cc07596bd1079993010a325ab2f22f2cc85408d12fd1286b15b0d7774b2e4037465a3b78aa829205f77b8b0b2efae9b9f3145eca6e82ced4d0
DIST boogie.basetypes.3.1.3.nupkg 25710 BLAKE2B e45663df336757dcc448f2ebe4f150948504047a1d5e4814fba81b0c08d7480aa717a42ebaa1ef9714276093a0d2755780669d0af410dda4806181c513874bf0 SHA512 ce3bbdf67d1332a51dbfffc21f12cde720b6583638dd7b6bc1fb68e5e6a7d1d6f0a191e795728b79adc1f113102996475c0290afb7062bd1122a17c1d6d1605f
-DIST boogie.codecontractsextender.3.0.9.nupkg 17455 BLAKE2B 6a6f060e16942750e52bb72630b306cb591212ddd9960ac9778efe44239300f19b5793bb0cb94cb66e01a16f0337bf77bc6f39d2ce680f5ae94c566e2420331b SHA512 b15d7b0d24d5464189daf797e02b7e6342841de5c7cc3a15c954ee270d805afe0dfc3e5268dba5abbb636e2de2c859bf7a3f442180fd3a7cd2f70ec227fdfc24
DIST boogie.codecontractsextender.3.1.3.nupkg 17458 BLAKE2B 2005168450015740d0afd9415c47674bb55f99b2a717ad03f56e0571be1f5532a9abb0a662b3b3f785dab32914684dc0046854c4286ea9be338aa0dcad0e4618 SHA512 1508e11342e88ef0fe3a6f7dc758924987b6edcc30f62d0a7e43aaba09cc14b26b999eb0d59faa13e26f246e91b9c176f4c983fdeb653892cff655f40b5bd24f
-DIST boogie.concurrency.3.0.9.nupkg 93215 BLAKE2B aa8e969eea49750503249b1f196ed3c4f388fae2a39c46c61c4dcc343feb15b3d98d0b87065afe1f82fa0d8bbeea895b3362bc2ecca26daba0b0316ab8fad648 SHA512 618e4e3c06354b8ff8e6c23341915f1bd92366aa99dd8f9ef217110191f653be2a4d30cb83d004d4a34dcd7244e9f0603179859d1371109f1ae7706046643cbf
DIST boogie.concurrency.3.1.3.nupkg 92168 BLAKE2B 81ff170058924043a10c83aed60ea38951bca7ff35de3d8be29fcf68fea9da2d658ba0abf36f0fa93e4c9f96b0a81f96b550396ca55e3ac204b4e21e49d112bd SHA512 069c34b152ccfa9ab8903b6beda6090fcbfbad243d79dc473c01e30d19a6a5ed15528120180ad271d28b43eb520dae6e221a9256680b7e241a6bb83415988d93
-DIST boogie.core.3.0.9.nupkg 208520 BLAKE2B 180b099ac167eb4cdc2b96ebfecc0e70789d0bcb01fe2842b69520b1757efbc8cf0ca56846dee6ab17d5a88c38920273368803d646a143f4010926de81c420c1 SHA512 eaa0289840caed37aee889a66b60e0389729f2233b568c58de22790fd3eb3e93478b17d58d290c1622ccb7bf788f8a98cb942ed6124c8aa3efe5beb44889fbe0
DIST boogie.core.3.1.3.nupkg 208304 BLAKE2B c3affd650c0c81c61e39e5bba0e3f88684fe43169c59b60aa15ef532747ed624d3b4d2a1ebf1fef6d216bb380b535c62a48cce072bf4a3ff57feea907c48ca8c SHA512 ae611fe91b8189ba55315db75be7fd927d08ae096305d099aa5b51ef692b4c5f4633c7cdcc95f9344791f7e11414e4078a8640127e2442f667594b335338eb1e
-DIST boogie.executionengine.3.0.9.nupkg 83903 BLAKE2B c3b8caf6097ab8f2b81b72593d7802674a8f6069f5601431a709095e0c785dea07c8b7b4033954ee7786e518973c9fe275d59be698918bcb5177bd90e3583525 SHA512 d80374d6df8f663ddef0a2bf004e9f414ca9d79e02861344f5878a1033db17a7d5102f92c4299e16ad5d1cf421a7cec4702dc320a5969a7699bcd2c31e933a1e
DIST boogie.executionengine.3.1.3.nupkg 85951 BLAKE2B 4dc3e7c442d2fc8f79b8f17c5139bf28453205f7fbb22caf35cdff40ff5294e940820e44029669e4f2103ae4dda56ad34b5d3d76dc73327d8925e6c5384859af SHA512 d06372aa80356ee5b07dd6cd30495246a5d900727fd7c6bba52faef25aabc191b5d89f479ba3c936a2a31a0045c8c195e9099d4c87231c14705ff00ac37b8c84
-DIST boogie.graph.3.0.9.nupkg 27933 BLAKE2B 5ba929366367792f0288655c5f304ac6ad88d3a89c84df5082d78939306bd6e3441a1c517a060fd1c32eaa7d25e14a3eccf7c40873d413b68a5c36a109353ba8 SHA512 1b65fbf349c9516a18e2cdb876a343ee037096ee528933edc2565e43c5e79bcb2dcc56b7e095b150f6c70aa55b217789d04e6c4109e369cd2e9d96c465fd76f8
DIST boogie.graph.3.1.3.nupkg 27927 BLAKE2B 66694f02030c943892514881969c05be58d2a9cc4e4ca44a7b6115908a2e04e104350b706b19346e5ea7d659101532ffba2cf0ac919157102c7832185f4cf112 SHA512 f50c932d6ca907f359f698c02cdf857cf21b47ec6671ec917f4ae5a03db5b02cfdf3bc075b4ad840ab31c44db343aac2fe0d623d555f17e3ce2d9cf0f5efe9e3
-DIST boogie.houdini.3.0.9.nupkg 52700 BLAKE2B 686c532de540e11d70be62bf95f6398c21e12ff9386a295b21d58882d105933068524d865b93eba8996bc29f80b05285196a2253493ddcaee13217797b0506ba SHA512 6ea2874623a582529e2e6921ca4c05e76602e6bf11f53323dbb5269e6201b1e1d2ec9bba7641a4918a95fb64f5a488841fab92da8ecc7c3fb033d0e286a4d0a9
DIST boogie.houdini.3.1.3.nupkg 52727 BLAKE2B 4a37e98bc0ab9bc8956e81df2541bf1bcfb50c32258b94818a5c8cafbcc74c76d4cfc5432a2e1ee94db5fc503dddd020123cc4f5f4a47c6b3bc8743b47784a04 SHA512 0f83ea50aa6f453d741cc7ff28a00ab9e9205a90caecaf7ccbd49d5b9217ec3bf9f5e1a7e9cce83314f48f25ee32c682c9509d00ed7bdcee602827f78712ce31
-DIST boogie.model.3.0.9.nupkg 26904 BLAKE2B ebc9e26fe815a7133e87febf8e4bf7af5af4b565e099dc2dfc45515e4e1a4559643d189c1ba5d0d21d230be958e3751306735c533fc99ed95acca740b22887ca SHA512 54a13e45ff1d53eed7cd372997525008c49075783df30a6159958c319c0ae661599bf08ec6bf9ebcdc45c85c97e2ca1d4cb33139db78a5abc50bd018a55c125b
DIST boogie.model.3.1.3.nupkg 26902 BLAKE2B f384227782a32efa4083412a0820343e301337df11bcf4dc4611ce9022a63387b66a350d921dab484230d29f6a33006e1e56ebbd1818e8d5a4b0b34e61912211 SHA512 f6e52696ded95d9be9ec4046917c171cddda7429f63d2a0f188b960950bd9684285ce6eb21d1181b4f582b2d400117bf810a8b5a11a654f43a40c22fef4abbf4
-DIST boogie.provers.smtlib.3.0.9.nupkg 70598 BLAKE2B 49195c7478a7c82fef6e15fb57bea2ddc891f5145fb7e655fc5b84fa4989d209aa0eff6bca8d57da9d08f6df026ee8cfb14d37953267048f5e191ad0520dcd74 SHA512 1c290058568cb170c0774779c8264f5e05700784bf21369852c0b0dd581665e64f9d23f98cd2ee22124b5a2866af56ad59fa56925212eae5b7ba26833d7034f1
DIST boogie.provers.smtlib.3.1.3.nupkg 70581 BLAKE2B ade8aaf77a42dc7aa8ab7a7dcf2eacd00db612b032a7e62d2ddb5f96431e43ac16df282e55fe2cc46b104b721bb1183421b98a22e8823746c6f655c7f7789fc6 SHA512 50368434be8277c5dd84edce72fcb1ba107737cedcac0f6ff7cbad32b44bc749912b576e4c1076a840239cf5f84d93354fc8a5fe649121f5ff339316cd53c1c4
-DIST boogie.vcexpr.3.0.9.nupkg 74092 BLAKE2B 978887817f7d48d26d999b2f0a37adee927506aa6eb2e7a93b78567b8fc67411e1cd56e0ee0876d95473edc0dc5068f69524093f8ffd7b4f109490c815a28b80 SHA512 024e898e35c933e4b1c55547624d5a3c531245ac1a8b9c03a2d5955d702bc1d51cbfcac0aaf214e9f0f3decfafaab02761490b02bc6ec5c385c2a20778c33de2
DIST boogie.vcexpr.3.1.3.nupkg 74142 BLAKE2B d523aecb82111a712fe619a69c159213ee4bef8182b1dd5708ff2b84ecd7690bceed5eaa825f8735c373ae7d3cf5ba4385e552f4a332d68fa5740cf862992bce SHA512 540e15a2830b739921e72165a39633bbc5b0a820463d79d7a2a915d2d902d242d9221e12026b6c8f6796d2309f5bff672dae50ff9d27834f2660fb433ce5809b
-DIST boogie.vcgeneration.3.0.9.nupkg 90650 BLAKE2B 435902e5892351f6aba902d3e3cf89c719c68ccff2075500fab607b6af64dda7837864284a3c44fc3a3ac17201355c1249c5ac2ed4ed61a2f1c3867b1338f18d SHA512 a9bb6155275f6f86ef5be7d26be560c8fd1f6f976da552cb038dd7eb41331ebcfb694f0b6367f73a778550e0545dd695c8a35d568cd0c9bd78fcf30c894cc490
DIST boogie.vcgeneration.3.1.3.nupkg 90517 BLAKE2B d5f0271491a37f7ba806c2a46894c474b0c65d5bc66a659241e9ebffbf63c77a75a3533a615957ced4af1ee0363a34fd2c6803beca59e1fe656a1ba29c5fb309 SHA512 e402de9912b9d788520ef615fd80b8dba2eca9938f8321fb9e3f53bf158baedfd4c69f3aa4eaa3fe8f685d3ed9556982001117014279f9440605bac368b521c5
DIST castle.core.4.4.0.nupkg 916004 BLAKE2B 7404f946c140bc4c22132282a4a12694328bac2f37f3cae06c595076068dbedc808465e352f083450cea3e3869698f91b7a5b2b55c08f29f4a9feba7f15abf74 SHA512 7626c347f82038bc29b0b2ae399937047aead260ed85ff8c107d36adbe901d729be59cd89a5f98ef45da2d1883c8374b6f286c81c044a5a2b69ab4b5dde9ce98
DIST commandlineparser.2.8.0.nupkg 475554 BLAKE2B e55eda3a96441169220e5b081f432d8445d719cbcf8e86527920d44085e6e97934e20aa0266bc5dbdc16ba1a6daa6ece55bc2c63266c9d733ab4992f2fe3e0a1 SHA512 8c276513dfe91e5bc72cfb3b96a0d24411ee3bd2e9832d423f6ade3f3964a011dbb977ca90601750fa133a0a25fe72f66955be7f69a72f5d6b73c7f313094b5f
DIST commandlineparser.2.9.1.nupkg 496069 BLAKE2B e2c4b38841f83d6bc10432b8055af90369f1fe0a10105a58b51b44cd48e5d84cb0b5e4b19f444d8c81b38646a62c7c4d11cbd710e92fea68be3ebea6ab98e3f1 SHA512 4f364e45c9668c7e7cc6a922b488f3fa523033c20d7a432694f0a6af05ce528ea0481d8375e2f4f1032c6990347b4803ce9a0e48068c6fe15ec46fb1254f085d
DIST coverlet.collector.3.2.0.nupkg 2209480 BLAKE2B 175bcfcb9d6e5177d44f2d607f2411cbe77d6009d096bbc84372e33d7be972d3e39ec39d7f2669b4b91f4bcf44f6ddd46bc91541c0cc4843426e2dd1073bf5c2 SHA512 b63d02a5d3233805b42f0b8cc76f40c8d9f5a0117beb6bdb2ab147f5521bb99919b29d51ff91767ce0bfcab92d25fc8fe794133cadc60da3e009ae18d10fc920
-DIST dafny-4.4.0.tar.gz 6241907 BLAKE2B 43f5b6bed5ea0bc6f8de04650b2f97c0092df1df47aba9bf0c6b9210677077427c67cc80364f659305b7d851c178439a1536864dfb7c6396b4ac6517789fc83d SHA512 33789f10b75a1946aab552f11f40296682156bab7cb08cae431f00f6fdb6b12d3211ec2f423a42adb78a3245b19ab8f772dafca4d1448cb30077268680f73534
DIST dafny-4.5.0.tar.gz 6365137 BLAKE2B 6233107e680e04ecc5a0d730bab4d5f2228ff04f9d83fe33688731c4226ae03b06a2c08447beda025e2e34e7d92bf6fbb57de5b6913e8cde9f61ae255d09722d SHA512 d56ba0a28bb235ad2c4baba526b4de1757a6574b9d04a195e541189ba5c24a82a7ca4d3ebbcc50244b7f35043aa80101210568f20656f21169c4cf42c41abce0
DIST dafny-4.6.0.tar.gz 6373177 BLAKE2B 9348a9b170dd694885efe4682f05abe60240e6f7df7bde7bb53e8955c1c75a332ca6e7d6d6f38eb1aa9a83a9a5dfccea13b7683e99873c1fce12181d47679548 SHA512 abac500a27a811b434d32036ff7d877dd337a0a5917a07a7ac1fceffb1dd5d493bd07b7d518875243674b7919862a25f628fe62052983a8ff8f1450669c49b69
DIST diffplex.1.7.0.nupkg 69699 BLAKE2B 9c7d6eab09e7df1d791183bbfc4cc46b7bea8dd4b5d09fd3e7e3dc1734e6a8973f92a34387e1a2a0e3a4cbf11ffb89f8138844b2b46d2e94010932ed47158911 SHA512 a0f7a30c59889d71eba97db9bda2efbf1b458ca439d129b52ba3eae32626325e73ec13d46018603a81a33cf18a25a5b08a1b2e6a89c7e716faa47eb9db6d6474
@@ -106,11 +91,9 @@ DIST microsoft.netcore.targets.1.0.1.nupkg 18189 BLAKE2B d43a064d4c6f836be516470
DIST microsoft.netcore.targets.1.1.0.nupkg 18162 BLAKE2B 419d19e0da934ab4b9db75dd66cc22b83a003f34e93cf7a92feccf4f32d3d695e18b826b1aba13073dd4ec53aa7905a67346921d1055516647ddcde0d79009f1 SHA512 1ef033a68688aab9997ec1c0378acb1638b4afb618e533fcaf749d93389737ba94f4a0a94481becdf701c7e988ae2fe390136a8eae225887ee60db45063490fe
DIST microsoft.netframework.referenceassemblies.1.0.2.nupkg 20957 BLAKE2B e521646690b142a703d943cb0528552a669ceed16fa71e3a04300da1eb58d5428b168628c85b8e963e963cf0041b0a02d7442414248e6f506ff3d7ae452a85cb SHA512 8bf3922b695856059b8eec696a7ace03a7269d71d4c456cbdfb21bd3f6e69f2a9fa25e46acd5c29ad872829a07cc05ec083c3a6ee942bca21afd47ce3bc533e3
DIST microsoft.netframework.referenceassemblies.net452.1.0.2.nupkg 19845441 BLAKE2B c2be1acfd4207984ba33a5ed468fea39299d61d6af99ef9cfc7df16096c0ecfb6133a3c970ffc150f79566710a589c5a387a5d2da8d5ce25f23173cfcfcc7661 SHA512 f4b099aa012c3d117c58dafcaa3edfc273ad7d5acf30c84d213eb15ae101559e7da3f1810285909153e85d73ac58dfedc34e6730c264cb0ae013e19a1213d691
-DIST microsoft.testplatform.extensions.trxlogger.17.0.0.nupkg 361862 BLAKE2B 7315293c1ab965bbcc299a842a2e1f462e4821168f79f3036f7a14a4116f3d73c00f5b645bd1d16fc963f595e65ae11d7658544a6482c0e5926b36528644b259 SHA512 d72f41fbe9d4155b85d0e20e6a476d41ea55e355c61561270f241a1b2ef5b9d8dc9c81ca43d14c550a50bff0a301923e9e84a5035e5b31006a9639ba0221e907
DIST microsoft.testplatform.extensions.trxlogger.17.9.0.nupkg 441869 BLAKE2B a250401ca8d21f51ee8fae91dc3b83b5453280b22f10b77a481e0e27735ae5cd1c7f0f04dcb0b5b0e74192c3e171e8d7fcad1a5f771835a7ce846d0cc7042105 SHA512 9b6c67ded3f150a2daae6f5a6db52d86e0338b3aea60a07dfeec67ca630e3ca9a5a8715c71c5bb0508760b877f5e2bd2f135d7f18f9bab9c81991a2fd44f00a6
DIST microsoft.testplatform.objectmodel.16.11.0.nupkg 2966263 BLAKE2B 5bf6464154b639b478c4000dd64e7570d124a446680583bceafee1cf3eafdc6a7bc10cacc665327a562a28fe0268c5d749dad0ef11376880f76310f1e3cb055c SHA512 105ec3c2d2d476abfa9fec73b25a701d815b743512b575e7ee2373ef7e459f767688be7ecdb555849a8342e07e922ab819dfae637e8b23b36ed918655d9a7471
DIST microsoft.testplatform.objectmodel.16.9.4.nupkg 2224614 BLAKE2B c8b0899000db731c0041f6209e4f85d2bbee5a7ebe3d3addd4405a33e1036bef52098c3fe8146123db262e71868d7bbe541149ef7443c7fc718ca78f916d384b SHA512 a1fc8192007d0d1a852393eadea26b8400df81a50d8a29549f79f726694696b2c361460561a3910f66dc195044b7773addc25642f9c7389b7152489e162f9ad9
-DIST microsoft.testplatform.objectmodel.17.0.0.nupkg 2963393 BLAKE2B 106eddcbc897147fabc6a7c5509e7800ed4af37fcbd7a05771a1fd752e354677d7f8ff4856015b2cb1cd2ad54ed5eba1d0cc62f58962830e0b84d71bb6b049bb SHA512 19ad56cad83f5897c5b93608be9d357c83ddd5f97f2f7751f40fc017236ae2ef3b0517147e4dba2c4395511a9f4f5b262a4f660a25974e7b34f220c275af9c4e
DIST microsoft.testplatform.objectmodel.17.1.0.nupkg 3191688 BLAKE2B 26be3f32f39257044cf0947aaf68b486befeded4901e5344fc7d1df1bba1f8d8e564d310fc946e5d5d4b3462aba1734bb44274f6f471bc27f1a493e2e0480dac SHA512 fb7333c71906dc2a13a3bdb33363e926d0c6066addd1ef43b2b5067a616b754798f32f515cadc58bc2a9c6e157c05e6d36ef79bf602e9da9b37089644933240a
DIST microsoft.testplatform.objectmodel.17.9.0.nupkg 1655717 BLAKE2B 5ae125e4fee8770a6a9f18a8566eeeacbbcac42cfd5eed4e407fd2cc2b1d773e20ad0dea461483fa3525cf113ea97dfbad6763a7afa354cf3d438057310d0140 SHA512 637048c70b190a0269d7e0761d7cbec7da8d306f5770480cb91286c06047d7f4f1666556dfc4494ec090db011b03fb736ca03313479b566019a5a54567e05f37
DIST microsoft.testplatform.testhost.16.11.0.nupkg 7327788 BLAKE2B eab31bacbbf159a128db837076c2057b4a68b912e4dbc1583f5042b0333bbec78e2718ab2db0a6900c41d984a913115573444695d117f270b272141402db55d9 SHA512 17b0956e03edf7660dc31d59d5cd9fb141b3d002149aeed824a2d3381bab2f6a5ccfbcc2fd6c37e960bfd29e33e734db14cd1862799fadc80154f3d8ac3825a5
@@ -185,7 +168,6 @@ DIST runtime.unix.system.net.primitives.4.3.0.nupkg 125060 BLAKE2B 76f760a4fe1f1
DIST runtime.unix.system.net.sockets.4.3.0.nupkg 105673 BLAKE2B 06119cfdac3ce590b2f12f5587c75b6799fa876d7def559a78a1ccf53e34e6e1bf79410bfd676b04f1ab3f34a887eb919078a55cf79dc75faa75fc62094c2cbe SHA512 31b62be088315ead04d89f452a6c49a656b88f0668f7dadb2790511675d48705e01c9df24dbed3a0095157875c208ab6e6b5b6afc82bac13e4d6cdd3026f8424
DIST runtime.unix.system.private.uri.4.3.0.nupkg 75969 BLAKE2B 82611545be3eba44ccfbef1f104e9b5afade845fd3b30c6cb40171368330f9d4bb2ad8752e415aa3b1678ec140c40f8e72cd4cc3731f42ca64016c1a1dce70cf SHA512 203ebe272791d79ab0c40afe9d0543852ee91b9fb4ae5bc15524d97728bc8bc9d7e0cbcf65d1fab8cfb0aa7a4ae37e7938933eef127aa5ea46f60e57b6ad2d91
DIST runtime.unix.system.runtime.extensions.4.3.0.nupkg 54075 BLAKE2B f81d86cc15c63aa0b4a3d03546a07649587af7a0285af0de4123734e719fc023fa4227b7abb18307d4fc060e2952c157ec72b3bb85d49ab8508d8167b1aeedd7 SHA512 54b81784c08e934389c59e6e155af6b1855e4bbc41678b01a702c94e6daba87c6ddfd16fe9e2cb61f3097bfa4950dbc37781454d027ce5ba6c50a393cc91b888
-DIST serilog.2.10.0.nupkg 491974 BLAKE2B 27839d2ca6db6b745a627e9b534954633539bd0126872dffeddfff87ffe140167dc04c62cd801a8183dd210c735c9319c2fe76c5ea5a4c0bb37c87aa82b257ca SHA512 9c19964d1126c2e99f546f1da81764644fe39b153e3d8d725473221a6e0855f356776d2f40a8a5d04ece4e420075d5b987650108a4fc9b32b4f56ad3d0792260
DIST serilog.2.12.0.nupkg 769482 BLAKE2B 178f0796f7a9cd82d60a6d8c1501dd4b5432bdcc9d41061572eb5e0a1e0da924f48c2557dc43e610f9f49da80ba459e2301d43772130b22be5e464764db5e945 SHA512 3546b98340b8399a8ca778b9b82072833ade67b2a016fe261f5a93a3f9afda222a1f432b146dc06edddb68e6bd32bffa4a9aacaae03205c365b43f88044111fd
DIST serilog.extensions.logging.3.0.1.nupkg 21474 BLAKE2B 8a0987a47939ce9901648f0ebeca3a4b29eb15beda0bd0206fc1ff0217132c574314bef35fa6de87ff4686455a5a24497af1393243b033e4ca1720b20917554e SHA512 65e5b01f8493c5ddf8927221a431a3c2bc2454c12de4392d85bd13f1c0d3cece3f73135d2f81242d14456dae7bf0f99ca0711a6006efa8e2359c86e0847e3f6f
DIST serilog.settings.configuration.3.1.0.nupkg 75871 BLAKE2B c32066f2850cd49b4d2a4ca2b1ee50fbd509457073109b60b2a3a15d69e784390de1804dc87db33f90adb829e28bb2590d0787da0f00f2290847489267382d6c SHA512 dcf09d92376a4600f039c63ae11d644af88afd2029309e8f9efc2a9854c2840d34be7a34a067bc596b9c4040bdf72f85dfbcb9e51fa8da3b8f40ee1d65d48198
@@ -204,9 +186,7 @@ DIST system.collections.immutable.1.5.0.nupkg 804405 BLAKE2B f11cab8fc6e1543d09b
DIST system.collections.immutable.1.7.0.nupkg 481313 BLAKE2B 6c10496bce03924feb03a45d7e0b4e523918d1e52f3a40b35e667d6aa9c765732d05bd418600b00bfc6a4e165ba1bc6762ad44f99e3363e10e7c64e457ba213c SHA512 da02822ffd801e236958e9bd28f616eae0db1f7f948b23f50aa20bc0b163bb5ec8e284aef9126880951e9c37d61fe9dae9aae54be5f34a01fe6237c1a5cb81d3
DIST system.collections.immutable.1.7.1.nupkg 595037 BLAKE2B 83f95d1b23960b35915e5418b125810d3087e7dd46fd2702907cac9856290bdb02d3c7e1d0a8fc73fb8cab4bdb4e928b717f6b61e7ff8fb3b508f6de49940597 SHA512 d263cc2c90a537edc49bce334490fd09d888a50f5b793e42e89133ad8db9544f356bd5745a735c4b81b7687bc1b8e4df9c8d64e388c8433361a775591ddedd76
DIST system.collections.immutable.5.0.0.nupkg 623075 BLAKE2B 14724fcb8654455184f8f16f8ac56b7b3c995e632af36e91f307331620b4e9f515a13bc4625d898fbb4b57ff9f017b43cb91ab40b0cebcd7d5eefe32979afa4a SHA512 726f8db7d179714cf0efeb0fc02fcebe7b4755762902e391e77cf78671dd5d5f364c7cf4ce3545b51cc7f37327d12d1500ba19f4b934f0e8bb69a6a347c0bbfd
-DIST system.collections.nongeneric.4.0.1.nupkg 239254 BLAKE2B 0179bcd640e80a53e15f96525ae9dcc67e463936c5e8af88713dc978de525265c7cb33356f56e34003398cf1974fcda377339f41ac0171a83155009d6f988832 SHA512 5c38a3c61b6f4ec205a970773db90fced9319cde2ba3b92876a2d04a0ea63a97d67b088972e7d8215d1580efdf1bd7fbf5c89ceab15faf1b8212d72bbbc573f2
DIST system.collections.nongeneric.4.3.0.nupkg 239265 BLAKE2B cc987578ab9b0c1dfc8925f2c946876f8c8d6f335d8d6a6a0a30848c6c812a24774d059fe28aa83887b45d924705abe88fd96451dba7b2253dc9b99afc7a75e8 SHA512 dc6abfe778b3ea08e99f50b79112a51728e689f353b082234351b9f5b1be4b601a0b6d38a04c2138d05b5bdd83d6f3d91b53ee86ed119225c15e4683c38bf98c
-DIST system.collections.specialized.4.0.1.nupkg 183457 BLAKE2B 4b886d3db9b40b6ba0372deb97ba84918a2523401b09986bd42b84f7b01d088e75467477f549113396c37db8b4f111987c93e5d6cd4e9a2935656b5c5de67abb SHA512 53d2b256394c9dd1d16930c25f21714dd2d23ab0c9f3d3ac3a3a4552b64f679f2342b03d193984d050d506a22c450dfebb5bc6e404930cfff98ac9c19d7c9d08
DIST system.collections.specialized.4.3.0.nupkg 183462 BLAKE2B 9297ea15b3d8880a719e4608622793e8883f68887ed2422b287897ad389b41f5301c69707434868c3db88ba3b8819c4cc22b7f5cbb09d2729b0f5e121ddb6921 SHA512 c7a257cbda812d6c0c44b29d8bb5cc4f5cf2d3cb81574eb1dc94a7efde980ac26c5ffadb7cc3521fe7b19437766a046c83cbf2e7ea59a36435c288add8142b57
DIST system.commandline.2.0.0-beta4.22272.1.nupkg 616636 BLAKE2B 5252560598c4cd67348520cea086c37b4151b984a61238de1984838975340247b16050113422b1765931bdfc1dee38e226789b6427e56ab7c3a36bf07d0bcc20 SHA512 979a7e66ba29e17bc5bec42e926ed15362e23ae403e498c955e09dffc4d3baa14777a06f95e25d591fc9757a0eaa18deb9e4662a1ca1663fa300f509a4a0383c
DIST system.componentmodel.4.3.0.nupkg 95320 BLAKE2B 8c03f003539d1c0920c4d1a2d0b57a19f93c9c1d7f2e0004035b758b56915da1ba0207d1506cc0cf8af71bb2e58408fb824674941230a0465249752b1dc0df93 SHA512 7c638ac92a132e1553a089c6a711ffb7431b22fecca322ce748d6684ae2baaf161bab2f71704750bd15ec6fda11e795f2ab8491ac769b89341bde77aa9212d59
@@ -235,7 +215,6 @@ DIST system.dynamic.runtime.4.3.0.nupkg 548103 BLAKE2B 42ac34ffe9b9b6fe69c984aa2
DIST system.globalization.4.0.11.nupkg 589139 BLAKE2B a4ee2d6848c249b34a67192dfd32f78d842f4b12f8be137804966d00b2e15dd8b2f9ecc6427f9074c35802d9bc13674c912c80ba405e610324772f9b640dea46 SHA512 66bc21667f5f839bc711eda3b0463863d70e0ad86770fd5410e0123006d6f031755cf7220187fb7cefed69b3f4a9eab8f0868cae765cb1425c8bf60427f395e6
DIST system.globalization.4.3.0.nupkg 589136 BLAKE2B 7b07f9b68f0744ddcfa3f0db6190c1a0696c2f89f8c5e92922ac20fc4155e22d97e7191bf7866c9b58acec056bff08531b0adacccaec7d4301e1d4b149fa511f SHA512 823d2ba308cb073b40a3146ecccd0d9fd7b1615ac3fbefb16f73d873e411fd81c3bdc87df206d3dc7e2f14c9cd53aafca684a3570c25471280aada8de805ece2
DIST system.globalization.calendars.4.3.0.nupkg 177689 BLAKE2B b70b5d9e545835e5a3fe4c703b2bd7c857968ba1fcae5299c9c41d550338914f2ad9d168948018fa7da7271d62a3b9d2ad1e696d334ee7d3fdaefd25395aa64c SHA512 e97190231402b393774b925efc02a2bfa41d1d117a17fb87da6e399f5234546962767e9cd8f39970efa408e4f453cd1e6751a2a61e366bc97406e1b0b8a4be86
-DIST system.globalization.extensions.4.0.1.nupkg 142766 BLAKE2B 28344f900c32045cf4f6d168e02dd1df501fee3a5d0ede8ee35034e96cea6655ecb0f0d722eaeed78c500535b0795e7cd0f067e286cf65ca083fc4c37477efd5 SHA512 415ab44aa3e46b59ad1d314ceda11f9dc78f85adede3daece96c83c98448e2a0cad7e79045edeeeaca8618115c38517364b00cdd9a0a7228e7da1ebc342b0116
DIST system.globalization.extensions.4.3.0.nupkg 142949 BLAKE2B 4eb77d4ce5af01136145ea867e9d6cc81181b36a178ff487905dd7d7c6a4986c518675af68eac0e854347503e11513056173a93e6803683f3fddee7677b88e05 SHA512 a4d360003f95e0c31edf39c0b91e1c73850a60ac5d0032b17db888a3c7d7134cef9acd97219d14174ad213b7c044f49b364cc5720073ebfcb6e1bf6e4ec24ce5
DIST system.io.4.1.0.nupkg 703645 BLAKE2B b0df16bf1368571d6755f88cc8fcce330d1dd5b478a009363e87f463e12eed7722d4bcd66a1e70de63d1b31ae2793b80c735e19a63e80ad4bc4c45f107e94ce6 SHA512 e01b432f3d715f3c88d5d7f3e7cc1ceee78caf99407a11c3306f9103aee78963f818417f14eec52f0096fa247900a31e53bd3226e06f0c0f93870db0b2b78331
DIST system.io.4.3.0.nupkg 703652 BLAKE2B b5b2627ace4cc49f35a0caf5c064c4c8262ff0fe3df79bb1bd3529b3e306c8b1e77ea9e5948de343ee786a50e12be822ca89b5ea3f16347b9c0bce6bd8071127 SHA512 bfca5a21e3e1986b9765b13dc6fbcd6f8b89e4c1383855d1d7ef256bf1bf2f51889769db5365859dd7606fbf6454add4daeb3bab56994ffb98fd1d03fe8bc1e6
@@ -374,7 +353,6 @@ DIST xunit.extensibility.execution.2.4.2.nupkg 353652 BLAKE2B f10e20d43b8030f51c
DIST xunit.runner.visualstudio.2.4.3.nupkg 809588 BLAKE2B ce18ac895657d1efa9752e44148812a452401fa06eba913dad716cfd6743d85a09ffbc0be52276a4b90d039ab76077cca7ab5316b73009aeff2b2fe77dc465f1 SHA512 d8b0d124425db24f98335b332fe55e1a08b39af55d8834dd4a2717fd4be45f3a06ae6cb16427a17adfb31e215dab622856152bb2da715acb1946ec9e935299f4
DIST xunit.runner.visualstudio.2.5.1.nupkg 348549 BLAKE2B 530ffc6b699a1589ad6a7fb5aa826d7238b63ea8dcd13ce5705a3d29a0ba70edeac2d9950cd1a00a13a779add761e4e14335689051a43b4cd662a330734e4df7 SHA512 0cc7887e7c7c3315db31aab79df236db9b5542e0234c27543dd5b11cf917674a8fdebc384e7331663b08d586fcf20628479a20ad7edbed4e61667903e812c6f0
DIST xunit.skippablefact.1.4.8.nupkg 44542 BLAKE2B 3c9b09d5196e8901770099b2e5078d9373e8ebc2da058a9071707d6fee56eab7c876578734f3be5b088db6ae83c8ad81a3aadfcab38e1fd2b28bd25601fe5463 SHA512 a2c680223bda4f9bfdbd751c8d6a5319e0a4611533272860ca0a396b26c473a13065301a5d8973074ea2bb5119caaeec5a67d547a96ae5d762dc09f337f51ad1
-EBUILD dafny-4.4.0-r1.ebuild 18790 BLAKE2B 7e4eab480b86acb8816a48efe4432b94ef641bfb60e14e4abb0c5642f65dab008c01c2e92ba51cf3d88a9c09e358bf2e88b53bd5944d1ed74d6b5820884c1feb SHA512 eabb91eb1d35e8c3c5a0a3dac365bd162eb36c613bc87f94c487c9a2013f4feaecdae205c6a67779d1a56b0faea7d4bdabf479120811ccfd69994cade72c26d9
EBUILD dafny-4.5.0.ebuild 19545 BLAKE2B 77e54724d7e9dc343a191c1ffadd343a4220e25ee50f853b54f9d1a42aacefbc5c1015d1acbc32e3e3af1fe96c4d9c61f11d0eb6789c17ad2145b38e6113d2ba SHA512 8a8139f601863b967c13f9c26c709aff0c7012b5273ab7e641a510fa2a33c0f6b95d9729f89960062a7cbc35a0ec0c44132d9a9d8d53a7cbe2552be25cd87a5b
-EBUILD dafny-4.6.0.ebuild 19634 BLAKE2B 9af894491d57dc523a72cfc0769aa2db689a73cb429b63671316b770ca412544ab36a800bc2b8d47091db61bd037fd226a250ff068d4d5f3e03a9334d7f66a7f SHA512 4e476a0bd05515f897d302ee773a4c0ffcb24427c09d80f4dc73fdbd2fb88860ac3f9820873c294ea04f66c0e3b534f71188b19c7448c0bb0fd8deda53d13660
+EBUILD dafny-4.6.0.ebuild 19686 BLAKE2B d26b6a164fe3a4c16c1130057103be047bec579ed87ea84611e17fff71271aaab2690a7d3195f8747b2a77a1150d6fdf4ceb4873fdd86ea9dd56aba58ced9925 SHA512 14923ff113a7aeca39af8eecbd1a1eedae171e34d3e812f0cb301e0635f9c1dc724aceb898db9a72ed771e5c4f3e907df1fa0b4eb4069eafd7a026d4f9faf285
MISC metadata.xml 1884 BLAKE2B e3a53cfd90a4edf1d9fd9f567ac3c23fd88cc46602cfe6aea31ddc40585ebc89ab82833dcd21c82083671a54454d62f162f45d56d6b0ec9c202148b3d5ea2c6d SHA512 4cffb9c237ed85097ce1496a72f5aa9c5a0f5758402fe66ff745a3b1dbc3f8d9a40fecc9140ee1b9418f09b62794f7e0a47f908e6ba01b370087d4df62bfa46e
diff --git a/dev-lang/dafny/dafny-4.4.0-r1.ebuild b/dev-lang/dafny/dafny-4.4.0-r1.ebuild
deleted file mode 100644
index 4ec014fca8b0..000000000000
--- a/dev-lang/dafny/dafny-4.4.0-r1.ebuild
+++ /dev/null
@@ -1,592 +0,0 @@
-# Copyright 1999-2024 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=8
-
-PYTHON_COMPAT=( python3_{10..12} )
-
-DOTNET_PKG_COMPAT=6.0
-NUGETS="
-boogie.abstractinterpretation@3.0.9
-boogie.basetypes@3.0.9
-boogie.codecontractsextender@3.0.9
-boogie.concurrency@3.0.9
-boogie.core@3.0.9
-boogie.executionengine@3.0.9
-boogie.graph@3.0.9
-boogie.houdini@3.0.9
-boogie.model@3.0.9
-boogie.provers.smtlib@3.0.9
-boogie.vcexpr@3.0.9
-boogie.vcgeneration@3.0.9
-castle.core@4.4.0
-commandlineparser@2.8.0
-commandlineparser@2.9.1
-coverlet.collector@3.2.0
-diffplex@1.7.0
-humanizer.core@2.2.0
-jetbrains.annotations@2021.1.0
-mediatr@8.1.0
-microsoft.bcl.asyncinterfaces@1.1.1
-microsoft.bcl.asyncinterfaces@5.0.0
-microsoft.bcl.asyncinterfaces@6.0.0
-microsoft.build.framework@17.0.0
-microsoft.build.locator@1.4.1
-microsoft.build.tasks.core@17.0.0
-microsoft.build.utilities.core@17.0.0
-microsoft.build@17.0.0
-microsoft.codeanalysis.analyzers@3.0.0
-microsoft.codeanalysis.analyzers@3.3.2
-microsoft.codeanalysis.common@3.7.0
-microsoft.codeanalysis.common@4.0.1
-microsoft.codeanalysis.csharp.workspaces@4.0.1
-microsoft.codeanalysis.csharp@3.7.0
-microsoft.codeanalysis.csharp@4.0.1
-microsoft.codeanalysis.visualbasic.workspaces@4.0.1
-microsoft.codeanalysis.visualbasic@4.0.1
-microsoft.codeanalysis.workspaces.common@4.0.1
-microsoft.codeanalysis.workspaces.msbuild@4.0.1
-microsoft.codeanalysis@4.0.1
-microsoft.codecoverage@16.11.0
-microsoft.codecoverage@16.9.4
-microsoft.codecoverage@17.1.0
-microsoft.csharp@4.0.1
-microsoft.dotnet.platformabstractions@2.0.4
-microsoft.extensions.configuration.abstractions@2.0.0
-microsoft.extensions.configuration.abstractions@5.0.0
-microsoft.extensions.configuration.binder@2.0.0
-microsoft.extensions.configuration.binder@5.0.0
-microsoft.extensions.configuration.commandline@5.0.0
-microsoft.extensions.configuration.fileextensions@5.0.0
-microsoft.extensions.configuration.json@5.0.0
-microsoft.extensions.configuration@2.0.0
-microsoft.extensions.configuration@5.0.0
-microsoft.extensions.dependencyinjection.abstractions@2.0.0
-microsoft.extensions.dependencyinjection.abstractions@5.0.0
-microsoft.extensions.dependencyinjection@2.0.0
-microsoft.extensions.dependencyinjection@5.0.0
-microsoft.extensions.dependencymodel@2.0.4
-microsoft.extensions.fileproviders.abstractions@5.0.0
-microsoft.extensions.fileproviders.physical@5.0.0
-microsoft.extensions.filesystemglobbing@5.0.0
-microsoft.extensions.logging.abstractions@2.0.0
-microsoft.extensions.logging.abstractions@5.0.0
-microsoft.extensions.logging.configuration@5.0.0
-microsoft.extensions.logging.console@5.0.0
-microsoft.extensions.logging@2.0.0
-microsoft.extensions.logging@5.0.0
-microsoft.extensions.options.configurationextensions@2.0.0
-microsoft.extensions.options.configurationextensions@5.0.0
-microsoft.extensions.options@2.0.0
-microsoft.extensions.options@5.0.0
-microsoft.extensions.primitives@2.0.0
-microsoft.extensions.primitives@5.0.0
-microsoft.net.stringtools@1.0.0
-microsoft.net.test.sdk@16.11.0
-microsoft.net.test.sdk@16.9.4
-microsoft.net.test.sdk@17.1.0
-microsoft.netcore.platforms@1.0.1
-microsoft.netcore.platforms@1.1.0
-microsoft.netcore.platforms@2.1.2
-microsoft.netcore.platforms@3.0.0
-microsoft.netcore.platforms@3.1.0
-microsoft.netcore.targets@1.0.1
-microsoft.netcore.targets@1.1.0
-microsoft.netframework.referenceassemblies.net452@1.0.2
-microsoft.netframework.referenceassemblies@1.0.2
-microsoft.testplatform.extensions.trxlogger@17.0.0
-microsoft.testplatform.objectmodel@16.11.0
-microsoft.testplatform.objectmodel@16.9.4
-microsoft.testplatform.objectmodel@17.0.0
-microsoft.testplatform.objectmodel@17.1.0
-microsoft.testplatform.testhost@16.11.0
-microsoft.testplatform.testhost@16.9.4
-microsoft.testplatform.testhost@17.1.0
-microsoft.visualstudio.threading.analyzers@16.7.56
-microsoft.visualstudio.threading@16.7.56
-microsoft.visualstudio.validation@15.5.31
-microsoft.win32.primitives@4.3.0
-microsoft.win32.registry@4.3.0
-microsoft.win32.registry@4.6.0
-microsoft.win32.systemevents@4.7.0
-microsoft.win32.systemevents@6.0.0
-moq@4.16.1
-nerdbank.streams@2.6.81
-netstandard.library@1.6.1
-netstandard.library@2.0.3
-newtonsoft.json@11.0.2
-newtonsoft.json@13.0.1
-newtonsoft.json@9.0.1
-nuget.frameworks@5.0.0
-nuget.frameworks@5.11.0
-omnisharp.extensions.jsonrpc.generators@0.19.5
-omnisharp.extensions.jsonrpc.testing@0.19.5
-omnisharp.extensions.jsonrpc@0.19.5
-omnisharp.extensions.languageclient@0.19.5
-omnisharp.extensions.languageprotocol.testing@0.19.5
-omnisharp.extensions.languageprotocol@0.19.5
-omnisharp.extensions.languageserver.shared@0.19.5
-omnisharp.extensions.languageserver@0.19.5
-rangetree@3.0.1
-runtime.any.system.collections@4.3.0
-runtime.any.system.diagnostics.tools@4.3.0
-runtime.any.system.diagnostics.tracing@4.3.0
-runtime.any.system.globalization.calendars@4.3.0
-runtime.any.system.globalization@4.3.0
-runtime.any.system.io@4.3.0
-runtime.any.system.reflection.extensions@4.3.0
-runtime.any.system.reflection.primitives@4.3.0
-runtime.any.system.reflection@4.3.0
-runtime.any.system.resources.resourcemanager@4.3.0
-runtime.any.system.runtime.handles@4.3.0
-runtime.any.system.runtime.interopservices@4.3.0
-runtime.any.system.runtime@4.3.0
-runtime.any.system.text.encoding.extensions@4.3.0
-runtime.any.system.text.encoding@4.3.0
-runtime.any.system.threading.tasks@4.3.0
-runtime.any.system.threading.timer@4.3.0
-runtime.debian.8-x64.runtime.native.system.security.cryptography.openssl@4.3.0
-runtime.fedora.23-x64.runtime.native.system.security.cryptography.openssl@4.3.0
-runtime.fedora.24-x64.runtime.native.system.security.cryptography.openssl@4.3.0
-runtime.native.system.io.compression@4.3.0
-runtime.native.system.net.http@4.3.0
-runtime.native.system.security.cryptography.apple@4.3.0
-runtime.native.system.security.cryptography.openssl@4.3.0
-runtime.native.system@4.0.0
-runtime.native.system@4.3.0
-runtime.opensuse.13.2-x64.runtime.native.system.security.cryptography.openssl@4.3.0
-runtime.opensuse.42.1-x64.runtime.native.system.security.cryptography.openssl@4.3.0
-runtime.osx.10.10-x64.runtime.native.system.security.cryptography.apple@4.3.0
-runtime.osx.10.10-x64.runtime.native.system.security.cryptography.openssl@4.3.0
-runtime.rhel.7-x64.runtime.native.system.security.cryptography.openssl@4.3.0
-runtime.ubuntu.14.04-x64.runtime.native.system.security.cryptography.openssl@4.3.0
-runtime.ubuntu.16.04-x64.runtime.native.system.security.cryptography.openssl@4.3.0
-runtime.ubuntu.16.10-x64.runtime.native.system.security.cryptography.openssl@4.3.0
-runtime.unix.microsoft.win32.primitives@4.3.0
-runtime.unix.system.console@4.3.0
-runtime.unix.system.diagnostics.debug@4.3.0
-runtime.unix.system.io.filesystem@4.3.0
-runtime.unix.system.net.primitives@4.3.0
-runtime.unix.system.net.sockets@4.3.0
-runtime.unix.system.private.uri@4.3.0
-runtime.unix.system.runtime.extensions@4.3.0
-serilog.extensions.logging@3.0.1
-serilog.settings.configuration@3.1.0
-serilog.sinks.debug@2.0.0
-serilog.sinks.file@5.0.0
-serilog.sinks.inmemory@0.11.0
-serilog@2.10.0
-serilog@2.12.0
-system.appcontext@4.1.0
-system.appcontext@4.3.0
-system.buffers@4.3.0
-system.buffers@4.4.0
-system.codedom@4.4.0
-system.collections.concurrent@4.3.0
-system.collections.immutable@1.5.0
-system.collections.immutable@1.7.0
-system.collections.immutable@1.7.1
-system.collections.immutable@5.0.0
-system.collections.nongeneric@4.0.1
-system.collections.nongeneric@4.3.0
-system.collections.specialized@4.0.1
-system.collections.specialized@4.3.0
-system.collections@4.0.11
-system.collections@4.3.0
-system.commandline@2.0.0-beta4.22272.1
-system.componentmodel.primitives@4.3.0
-system.componentmodel.typeconverter@4.3.0
-system.componentmodel@4.3.0
-system.composition.attributedmodel@1.0.31
-system.composition.convention@1.0.31
-system.composition.hosting@1.0.31
-system.composition.runtime@1.0.31
-system.composition.typedparts@1.0.31
-system.composition@1.0.31
-system.configuration.configurationmanager@4.7.0
-system.configuration.configurationmanager@6.0.0
-system.console@4.3.0
-system.diagnostics.debug@4.0.11
-system.diagnostics.debug@4.3.0
-system.diagnostics.diagnosticsource@4.3.0
-system.diagnostics.tools@4.0.1
-system.diagnostics.tools@4.3.0
-system.diagnostics.tracesource@4.3.0
-system.diagnostics.tracing@4.3.0
-system.drawing.common@4.7.0
-system.drawing.common@6.0.0
-system.dynamic.runtime@4.0.11
-system.dynamic.runtime@4.3.0
-system.globalization.calendars@4.3.0
-system.globalization.extensions@4.0.1
-system.globalization.extensions@4.3.0
-system.globalization@4.0.11
-system.globalization@4.3.0
-system.io.compression.zipfile@4.3.0
-system.io.compression@4.3.0
-system.io.filesystem.primitives@4.0.1
-system.io.filesystem.primitives@4.3.0
-system.io.filesystem@4.0.1
-system.io.filesystem@4.3.0
-system.io.pipelines@4.7.3
-system.io.pipelines@5.0.1
-system.io@4.1.0
-system.io@4.3.0
-system.linq.async@6.0.1
-system.linq.expressions@4.1.0
-system.linq.expressions@4.3.0
-system.linq@4.1.0
-system.linq@4.3.0
-system.memory@4.5.3
-system.memory@4.5.4
-system.net.http@4.3.0
-system.net.nameresolution@4.3.0
-system.net.primitives@4.3.0
-system.net.sockets@4.3.0
-system.net.websockets@4.3.0
-system.numerics.vectors@4.4.0
-system.objectmodel@4.0.12
-system.objectmodel@4.3.0
-system.private.uri@4.3.0
-system.reactive@4.4.1
-system.reflection.emit.ilgeneration@4.0.1
-system.reflection.emit.ilgeneration@4.3.0
-system.reflection.emit.lightweight@4.0.1
-system.reflection.emit.lightweight@4.3.0
-system.reflection.emit@4.0.1
-system.reflection.emit@4.3.0
-system.reflection.extensions@4.0.1
-system.reflection.extensions@4.3.0
-system.reflection.metadata@1.6.0
-system.reflection.metadata@5.0.0
-system.reflection.primitives@4.0.1
-system.reflection.primitives@4.3.0
-system.reflection.typeextensions@4.1.0
-system.reflection.typeextensions@4.3.0
-system.reflection@4.1.0
-system.reflection@4.3.0
-system.resources.extensions@4.6.0
-system.resources.resourcemanager@4.0.1
-system.resources.resourcemanager@4.3.0
-system.runtime.caching@6.0.0
-system.runtime.compilerservices.unsafe@4.4.0
-system.runtime.compilerservices.unsafe@4.5.2
-system.runtime.compilerservices.unsafe@4.7.0
-system.runtime.compilerservices.unsafe@4.7.1
-system.runtime.compilerservices.unsafe@5.0.0
-system.runtime.extensions@4.1.0
-system.runtime.extensions@4.3.0
-system.runtime.handles@4.0.1
-system.runtime.handles@4.3.0
-system.runtime.interopservices.runtimeinformation@4.0.0
-system.runtime.interopservices.runtimeinformation@4.3.0
-system.runtime.interopservices@4.1.0
-system.runtime.interopservices@4.3.0
-system.runtime.numerics@4.3.0
-system.runtime.serialization.primitives@4.1.1
-system.runtime@4.1.0
-system.runtime@4.3.0
-system.security.accesscontrol@4.6.0
-system.security.accesscontrol@4.7.0
-system.security.accesscontrol@6.0.0
-system.security.claims@4.3.0
-system.security.cryptography.algorithms@4.3.0
-system.security.cryptography.cng@4.3.0
-system.security.cryptography.cng@4.7.0
-system.security.cryptography.csp@4.3.0
-system.security.cryptography.encoding@4.3.0
-system.security.cryptography.openssl@4.3.0
-system.security.cryptography.pkcs@4.7.0
-system.security.cryptography.primitives@4.3.0
-system.security.cryptography.protecteddata@4.7.0
-system.security.cryptography.protecteddata@6.0.0
-system.security.cryptography.x509certificates@4.3.0
-system.security.cryptography.xml@4.7.0
-system.security.permissions@4.7.0
-system.security.permissions@6.0.0
-system.security.principal.windows@4.3.0
-system.security.principal.windows@4.6.0
-system.security.principal.windows@4.7.0
-system.security.principal@4.3.0
-system.text.encoding.codepages@4.0.1
-system.text.encoding.codepages@4.5.1
-system.text.encoding.extensions@4.0.11
-system.text.encoding.extensions@4.3.0
-system.text.encoding@4.0.11
-system.text.encoding@4.3.0
-system.text.json@4.7.0
-system.text.json@5.0.2
-system.text.regularexpressions@4.1.0
-system.text.regularexpressions@4.3.0
-system.threading.channels@4.7.1
-system.threading.tasks.dataflow@4.9.0
-system.threading.tasks.extensions@4.0.0
-system.threading.tasks.extensions@4.3.0
-system.threading.tasks.extensions@4.5.3
-system.threading.tasks.extensions@4.5.4
-system.threading.tasks@4.0.11
-system.threading.tasks@4.3.0
-system.threading.threadpool@4.3.0
-system.threading.timer@4.3.0
-system.threading@4.0.11
-system.threading@4.3.0
-system.windows.extensions@4.7.0
-system.windows.extensions@6.0.0
-system.xml.readerwriter@4.0.11
-system.xml.readerwriter@4.3.0
-system.xml.xdocument@4.0.11
-system.xml.xdocument@4.3.0
-system.xml.xmldocument@4.3.0
-tomlyn@0.16.2
-validation@2.4.18
-xunit.abstractions@2.0.2
-xunit.abstractions@2.0.3
-xunit.analyzers@0.10.0
-xunit.analyzers@1.0.0
-xunit.assert@2.4.1
-xunit.assert@2.4.2
-xunit.assertmessages@2.4.0
-xunit.core@2.4.1
-xunit.core@2.4.2
-xunit.extensibility.core@2.4.0
-xunit.extensibility.core@2.4.1
-xunit.extensibility.core@2.4.2
-xunit.extensibility.execution@2.4.0
-xunit.extensibility.execution@2.4.1
-xunit.extensibility.execution@2.4.2
-xunit.runner.visualstudio@2.4.3
-xunit.runner.visualstudio@2.5.1
-xunit.skippablefact@1.4.8
-xunit@2.4.1
-xunit@2.4.2
-"
-
-inherit check-reqs dotnet-pkg edo java-pkg-2 multiprocessing python-any-r1
-
-DESCRIPTION="Dafny is a verification-aware programming language"
-HOMEPAGE="https://dafny.org/
- https://github.com/dafny-lang/dafny/"
-
-if [[ "${PV}" == *9999* ]] ; then
- inherit git-r3
-
- EGIT_REPO_URI="https://github.com/dafny-lang/${PN}.git"
-else
- SRC_URI="https://github.com/dafny-lang/${PN}/archive/v${PV}.tar.gz
- -> ${P}.tar.gz"
-
- KEYWORDS="amd64"
-fi
-
-SRC_URI+="
- ${NUGET_URIS}
- test? ( https://registry.npmjs.org/bignumber.js/-/bignumber.js-9.1.2.tgz )
-"
-
-LICENSE="MIT"
-SLOT="0"
-IUSE="test"
-RESTRICT="!test? ( test )"
-
-RDEPEND="
- !dev-lang/dafny-bin
- >=virtual/jre-1.8:*
- sci-mathematics/z3
-"
-DEPEND="
- >=virtual/jdk-1.8:*
-"
-BDEPEND="
- ${RDEPEND}
- dev-dotnet/coco
- test? (
- ${PYTHON_DEPS}
- dev-lang/boogie
- dev-lang/go
- dev-python/OutputCheck
- dev-python/lit
- net-libs/nodejs[npm]
- )
-"
-
-CHECKREQS_DISK_BUILD="2G"
-DOTNET_PKG_PROJECTS=(
- "${S}/Source/Dafny/Dafny.csproj"
- "${S}/Source/TestDafny/TestDafny.csproj"
-)
-
-PATCHES=(
- "${FILESDIR}/${PN}-3.12.0-DafnyCore-csproj.patch"
- "${FILESDIR}/${PN}-3.12.0-DafnyRuntime-csproj.patch"
- "${FILESDIR}/${PN}-4.4.0-lit-config.patch"
- "${FILESDIR}/${PN}-4.4.0-lit-system-boogie.patch"
-)
-
-DOCS=(
- CODE_OF_CONDUCT.md
- CONTRIBUTING.md
- NOTICES.txt
- README.md
- RELEASE_NOTES.md
- docs/DafnyCheatsheet.pdf
- docs/DafnyRef/out/DafnyRef.pdf
-)
-
-TEST_S="${S}/Source/IntegrationTests/TestFiles/LitTests/LitTest"
-
-pkg_setup() {
- # Clean the environment.
- unset NPM_CONFIG_USERCONFIG
-
- if [[ -n "${_JAVA_OPTIONS}" ]] ; then
- ewarn "Cleaning _JAVA_OPTIONS because when set compile and test may fail"
-
- unset _JAVA_OPTIONS
- fi
-
- check-reqs_pkg_setup
- dotnet-pkg_pkg_setup
- java-pkg-2_pkg_setup
-
- # We need to set up Python only for running test tools (called via lit).
- if use test ; then
- python-any-r1_pkg_setup
- fi
-}
-
-src_unpack() {
- dotnet-pkg_src_unpack
-
- if [[ -n "${EGIT_REPO_URI}" ]] ; then
- git-r3_src_unpack
- fi
-}
-
-src_prepare() {
- # Using "for-each-compiler" will fail because of Cargo requiring network access.
- while read -r test_file ; do
- if grep "// RUN: %testDafnyForEachCompiler" "${test_file}" >/dev/null ; then
- rm "${test_file}" || die
- fi
- done < <(find "${TEST_S}" -type f -name "*.dfy")
-
- # Remove bad tests (recursive).
- local -a bad_tests=(
- # Following tests fail:
- VSComp2010/Problem2-Invert.dfy
- auditor/TestAuditor.dfy
- benchmarks/sequence-race/SequenceRace.dfy
- dafny0/Fuel.legacy.dfy
- dafny0/JavaUseRuntimeLib.dfy
- dafny0/Stdin.dfy
- dafny4/Lucas-up.legacy.dfy
- git-issues/git-issue-2026.dfy
- git-issues/git-issue-2299.dfy
- git-issues/git-issue-2301.dfy
- separate-verification/assumptions.dfy
- server/counterexample_none.transcript
- wishlist/exists-b-exists-not-b.dfy
-
- # Following tests are very slow:
- VSI-Benchmarks/b4.dfy
- comp/CompileWithArguments.dfy
- comp/MainMethod.dfy
- comp/compile3/JustRun.dfy
- concurrency/07-CounterThreadOwnership.dfy
- concurrency/09-CounterNoStateMachine.dfy
- concurrency/10-SequenceInvariant.dfy
- concurrency/12-MutexLifetime-short.dfy
- dafny1/SchorrWaite.dfy
- dafny2/SnapshotableTrees.dfy
- dafny4/git-issue250.dfy
- git-issues/git-issue-Main4.dfy
- git-issues/git-issue-MainE.dfy
- unicodechars/comp/CompileWithArguments.dfy
- )
- local bad_test
- for bad_test in "${bad_tests[@]}" ; do
- rm "${TEST_S}/${bad_test}" || die "failed to remove test ${bad_test}"
- done
-
- dotnet-pkg_src_prepare
-
- # Update lit's "lit.site.cfg" file.
- local dotnet_exec="${DOTNET_PKG_EXECUTABLE} exec ${DOTNET_PKG_OUTPUT}"
- local lit_config="${TEST_S}/lit.site.cfg"
-
- sed "/^defaultDafnyExecutable/s|=.*|= '${dotnet_exec}/Dafny.dll '|" \
- -i "${lit_config}" || die "failed to update ${lit_config}"
- sed "/^dafnyExecutable/s|=.*|= '${dotnet_exec}/Dafny.dll '|" \
- -i "${lit_config}" || die "failed to update ${lit_config}"
- sed "/^testDafnyExecutableCompiler/s|=.*|= '${dotnet_exec}/TestDafny.dll for-each-compiler '|" \
- -i "${lit_config}" || die "failed to update ${lit_config}"
- sed "/^testDafnyExecutableResolver/s|=.*|= '${dotnet_exec}/TestDafny.dll for-each-resolver '|" \
- -i "${lit_config}" || die "failed to update ${lit_config}"
- sed "/^defaultServerExecutable/s|=.*|= '${dotnet_exec}/DafnyServer.dll'|" \
- -i "${lit_config}" || die "failed to update ${lit_config}"
- sed "/^serverExecutable/s|=.*|= '${dotnet_exec}/DafnyServer.dll'|" \
- -i "${lit_config}" || die "failed to update ${lit_config}"
-}
-
-src_compile () {
- einfo "Building DafnyRuntimeJava JAR."
- local dafny_runtime_java="${S}/Source/DafnyRuntime/DafnyRuntimeJava"
- mkdir -p "${dafny_runtime_java}/build/libs/" || die
- pushd "${dafny_runtime_java}/build" || die
-
- ejavac -d ./ $(find "${dafny_runtime_java}/src/main" -type f -name "*.java")
- edo jar cvf "DafnyRuntime-${PV}.jar" dafny/*
-
- cp "DafnyRuntime-${PV}.jar" "${dafny_runtime_java}/build/libs/" || die
- popd || die
-
- # Build main dotnet package.
- dotnet-pkg_src_compile
-}
-
-src_test() {
- # The test "dafny0/DafnyLibClient.dfy" expects to use "DafnyRuntime.dll"
- # from the "Binaries" directory.
- ln -s "${DOTNET_PKG_OUTPUT}/DafnyRuntime.dll" "${S}/Binaries/" || die
-
- einfo "Installing bignumber.js package required for tests using NodeJS."
- local -a npm_opts=(
- --audit false
- --color false
- --foreground-scripts
- --offline
- --progress false
- --verbose
- )
- edob npm "${npm_opts[@]}" install "${DISTDIR}/bignumber.js-9.1.2.tgz"
-
- einfo "Starting tests using the lit test tool."
- local -a lit_opts=(
- --order=lexical
- --time-tests
- --verbose
- --workers="$(makeopts_jobs)"
- )
- edo lit "${lit_opts[@]}" "${TEST_S}"
-}
-
-src_install() {
- dotnet-pkg-base_install
-
- local -a dafny_exes=(
- Dafny
- DafnyDriver
- DafnyLanguageServer
- DafnyServer
- TestDafny
- )
- local dafny_exe
- for dafny_exe in "${dafny_exes[@]}" ; do
- dotnet-pkg-base_dolauncher "/usr/share/${P}/${dafny_exe}" "${dafny_exe}"
- done
-
- dosym -r /usr/bin/Dafny /usr/bin/dafny
- dosym -r /usr/bin/DafnyServer /usr/bin/dafny-server
-
- einstalldocs
-}
diff --git a/dev-lang/dafny/dafny-4.6.0.ebuild b/dev-lang/dafny/dafny-4.6.0.ebuild
index 2ec7748b03e7..0ca08b0d4f0f 100644
--- a/dev-lang/dafny/dafny-4.6.0.ebuild
+++ b/dev-lang/dafny/dafny-4.6.0.ebuild
@@ -372,7 +372,7 @@ else
SRC_URI="https://github.com/dafny-lang/${PN}/archive/v${PV}.tar.gz
-> ${P}.tar.gz"
- KEYWORDS="~amd64"
+ KEYWORDS="amd64"
fi
SRC_URI+="
@@ -473,6 +473,9 @@ src_prepare() {
VSComp2010/Problem2-Invert.dfy
auditor/TestAuditor.dfy
benchmarks/sequence-race/SequenceRace.dfy
+ c++/extern.dfy
+ c++/functions.dfy
+ c++/tuple.dfy
cli/runArgument.dfy
comp/CoverageReport.dfy
concurrency/06-ThreadOwnership.dfy
diff --git a/dev-lang/dafny/files/dafny-4.4.0-lit-config.patch b/dev-lang/dafny/files/dafny-4.4.0-lit-config.patch
deleted file mode 100644
index 31e6619c0c44..000000000000
--- a/dev-lang/dafny/files/dafny-4.4.0-lit-config.patch
+++ /dev/null
@@ -1,14 +0,0 @@
---- a/Source/IntegrationTests/TestFiles/LitTests/LitTest/lit.site.cfg
-+++ b/Source/IntegrationTests/TestFiles/LitTests/LitTest/lit.site.cfg
-@@ -215,9 +215,9 @@ def find(name, rooot):
- return name
- return ""
-
-+import shutil
- solverPath = \
-- find("z3-4.12.1", binaryDir) or \
-- find("cvc4", binaryDir)
-+ shutil.which("z3")
-
- if not solverPath:
- lit_config.fatal('Could not find solver')
diff --git a/dev-lang/dafny/files/dafny-4.4.0-lit-system-boogie.patch b/dev-lang/dafny/files/dafny-4.4.0-lit-system-boogie.patch
deleted file mode 100644
index b661ccf96af6..000000000000
--- a/dev-lang/dafny/files/dafny-4.4.0-lit-system-boogie.patch
+++ /dev/null
@@ -1,11 +0,0 @@
---- a/Source/IntegrationTests/TestFiles/LitTests/LitTest/lit.site.cfg
-+++ b/Source/IntegrationTests/TestFiles/LitTests/LitTest/lit.site.cfg
-@@ -107,7 +107,7 @@ testDafnyExecutable = 'dotnet-bin-6.0 exec /var/tmp/portage/dev-lang/dafny-4.2.0
- defaultServerExecutable = 'dotnet-bin-6.0 exec /var/tmp/portage/dev-lang/dafny-4.2.0/work/dafny-4.2.0_net6.0_Release/DafnyServer.dll'
- serverExecutable = 'dotnet-bin-6.0 exec /var/tmp/portage/dev-lang/dafny-4.2.0/work/dafny-4.2.0_net6.0_Release/DafnyServer.dll'
-
--boogieExecutable = 'dotnet tool run boogie'
-+boogieExecutable = 'boogie'
-
- config.suffixes.append('.transcript')
-
generated by cgit v1.2.3 (git 2.25.1) at 2024-10-09 09:01:28 +0000