{"bugs":[],"categories":[{"categoryid":406,"name":"dev-java","summary":"The dev-java category contains libraries and utilities relevant to the Java programming language."},{"categoryid":450,"name":"dev-lang","summary":"The dev-lang category contains various programming language implementations and related tools."},{"categoryid":317,"name":"sci-mathematics","summary":"The sci-mathematics category contains mathematical software."},{"categoryid":396,"name":"virtual","summary":"The virtual category contains packages which satisfy virtual dependencies."}],"changelog":[{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"97b0735e905e378f522ea71d79ba82cb8407f6a1","committime":"2026-03-14T18:15:49","packageid":76486,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"aa01d2cad2f32dcc5473e66326bf2346a5221ffd","committime":"2026-03-14T18:00:21","packageid":76486,"repoid":1,"summary":"dev-lang\/dafny: drop old 4.10.0"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"0c6b866039953e0c63a9cdfa2cb1e4ead4a2fcb1","committime":"2025-10-03T19:22:00","packageid":76486,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"0aed8c7e95715c5db72059b1eed7218b370c2810","committime":"2025-10-03T19:02:30","packageid":76486,"repoid":1,"summary":"dev-lang\/dafny: Stabilize 4.11.0 amd64, #963713"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"0e1f39eb18fe99e1cee4560a4480c26742ddc794","committime":"2025-08-26T13:18:55","packageid":76486,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"a107e2a347e9885db57ba8b8f7defa506506d620","committime":"2025-08-26T12:24:33","packageid":76486,"repoid":1,"summary":"dev-lang\/dafny: bump to 4.11.0"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"22220d040ce33f96a0210a07a4236dd36911712f","committime":"2025-05-16T20:54:39","packageid":76486,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"7b9674031f92618334966fea67d75a9c930a6a3c","committime":"2025-05-16T15:47:28","packageid":76486,"repoid":1,"summary":"dev-lang\/dafny: drop old 4.9.1"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"955e927d3cf182df279e86ac65e0a958835ecbf8","committime":"2025-05-16T15:47:08","packageid":76486,"repoid":1,"summary":"dev-lang\/dafny: drop old 4.9.0"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"bbd68da56f17cb839f51b3b0e0f62738c4dc0dd0","committime":"2025-05-16T15:46:50","packageid":76486,"repoid":1,"summary":"dev-lang\/dafny: drop old 4.8.1"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"392b2d5ba9f0e3d3071eecd5b2d59691208ba064","committime":"2025-05-16T15:46:32","packageid":76486,"repoid":1,"summary":"dev-lang\/dafny: drop old 4.8.0"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"64c8e49e0c728f9fb819aa8009b4a8bff03e03aa","committime":"2025-03-15T19:03:11","packageid":76486,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"a913f15769a98c8ca2bf0b717d0934c0dd5ecaba","committime":"2025-03-15T18:58:00","packageid":76486,"repoid":1,"summary":"dev-lang\/dafny: Stabilize 4.10.0 amd64, #951433"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"122aa5aa3ed84d95458e836d6ed5584784bc747b","committime":"2025-03-05T00:18:23","packageid":76486,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"a34c34349ced5d92bc29c95c0b116e7a19530733","committime":"2025-03-05T00:03:34","packageid":76486,"repoid":1,"summary":"dev-lang\/dafny: Stabilize 4.9.1 amd64, #950605"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"67649cc057d80f868d8351f447bb65730735b261","committime":"2025-02-19T22:33:27","packageid":76486,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Closes: https:\/\/bugs.gentoo.org\/942017\nSigned-off-by: Maciej Barć ","commitid":"2a10f03d0d855a7b48e6df706423e348ae583ab7","committime":"2025-02-19T22:03:05","packageid":76486,"repoid":1,"summary":"dev-lang\/dafny: Stabilize 4.8.1 amd64, #942017"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"e2de8c4c94859ff4ebfa395d8b05707427cf9356","committime":"2025-02-09T21:03:26","packageid":76486,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"105a71a5ce52f2fe24fcffeae2800b71e66ebea1","committime":"2025-02-09T13:19:38","packageid":76486,"repoid":1,"summary":"dev-lang\/dafny: bump to 4.10.0"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"298e3b42b14f1f3d1d43cdf7166c6c8a2b297b75","committime":"2024-12-22T00:48:16","packageid":76486,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"afa47dcd3a71e6377e2677531cd7959b49056ad8","committime":"2024-12-22T00:28:13","packageid":76486,"repoid":1,"summary":"dev-lang\/dafny: bump to 4.9.1"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"59e00f91407127298e125e8ce46064ede0c72196","committime":"2024-11-22T21:48:18","packageid":76486,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"mgorny@gentoo.org","authorname":"Michał Górny","body":"Signed-off-by: Michał Górny ","commitid":"1cb7588b512b2e5e56d438fd5a7cdb748fa662c3","committime":"2024-11-22T21:18:20","packageid":76486,"repoid":1,"summary":"Rename dev-python\/{OutputCheck → outputcheck}"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"672a57f8ebbf9443e883e6caad81a0a5e51a833a","committime":"2024-11-09T06:33:29","packageid":76486,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"kangie@gentoo.org","authorname":"Matt Jolly","body":"Tidyups:\n\n- $(cargo_crate_uris)\n- Rust BDEPENDS come from the eclass except in very rare\n circumstances (RUST_OPTIONAL=1)\n- RUST_M{AX,IN}_VER where required.\n- Suboptimal crate separator (`-` -> `@`)\n\nSigned-off-by: Matt Jolly \nCloses: https:\/\/github.com\/gentoo\/gentoo\/pull\/39218\nSigned-off-by: Matt Jolly ","commitid":"01ba4dc61965ef7658a24728841c04c9a1ce4871","committime":"2024-11-04T07:24:14","packageid":76486,"repoid":1,"summary":"*\/*: update for slotted Rust"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"0dce953d05c089f9f99cb690b76056517320388a","committime":"2024-11-04T00:33:20","packageid":76486,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Closes: https:\/\/bugs.gentoo.org\/942775\nSigned-off-by: Maciej Barć ","commitid":"99cfed0d805396e4f21c658db1484e91f2771498","committime":"2024-11-04T00:08:54","packageid":76486,"repoid":1,"summary":"dev-lang\/dafny: remove tests failing with GCC 14"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"b973633cb67947ec796995fd00e917b16b1995bd","committime":"2024-10-31T23:33:18","packageid":76486,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"d58a31606e80b160b3ca0f85a28aac902b209072","committime":"2024-10-31T19:31:51","packageid":76486,"repoid":1,"summary":"dev-lang\/dafny: bump to 4.9.0"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"1fde33845fb7823c6cf36c7944ae891064659959","committime":"2024-10-23T15:48:21","packageid":76486,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"87cfda68a46d1f9fd64c2225475a19d2fcc8bede","committime":"2024-10-23T14:44:42","packageid":76486,"repoid":1,"summary":"dev-lang\/dafny: drop old 4.7.0"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"d936cf44392aba07cf40e226053c4ae26e80f57d","committime":"2024-10-01T01:21:17","packageid":76486,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"ac5db14bf27e9d388c8799a65a95c01b1b828cd2","committime":"2024-10-01T01:09:41","packageid":76486,"repoid":1,"summary":"dev-lang\/dafny: Stabilize 4.8.0 amd64, #940558"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"526b699e1d6123c9918aa0f03887c8bf34cd6692","committime":"2024-09-16T23:48:52","packageid":76486,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"ba672a9a2db80e59876271af70d8d50bccaad9e7","committime":"2024-09-16T23:25:54","packageid":76486,"repoid":1,"summary":"dev-lang\/dafny: bump to 4.8.1"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"86e935aad45127178d8d5f9e6073a2a6a3b7a7d6","committime":"2024-08-31T00:03:53","packageid":76486,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"64cb0fa92107e95bbde38516c233bd6e480ee8ed","committime":"2024-08-30T16:08:24","packageid":76486,"repoid":1,"summary":"dev-lang\/dafny: bump to 4.8.0"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"11ed44d1bf0d2fcf792512d8db8d17f9d789b3ff","committime":"2024-08-30T13:54:04","packageid":76486,"repoid":1,"summary":"dev-lang\/dafny: drop old 4.6.0"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"694066a416f6e03875d281aba6f5b053098a38ff","committime":"2024-08-01T17:03:52","packageid":76486,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"e29eea3e164d3416fb3093a8a75fb36620f324e8","committime":"2024-08-01T16:47:11","packageid":76486,"repoid":1,"summary":"dev-lang\/dafny: Stabilize 4.7.0 amd64, #937075"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"0f54615c9ebe139b7a3b4598bc8383effffbeac9","committime":"2024-06-27T22:48:56","packageid":76486,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"2784f1947a3c1cfa6b2f3e4f7c12f3c7086b9d28","committime":"2024-06-27T21:10:46","packageid":76486,"repoid":1,"summary":"dev-lang\/dafny: bump to 4.7.0"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"0e66241c1e1bca965dc5a185ad8239b68ba2ef3e","committime":"2024-06-07T13:20:36","packageid":76486,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"6ba5a1b1de27940507492aeeaa8ed79d1e3cab45","committime":"2024-06-07T11:51:20","packageid":76486,"repoid":1,"summary":"dev-lang\/dafny: drop old 4.5.0"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"0980308a954b93eee794b259a6652c4651adad32","committime":"2024-05-28T12:48:42","packageid":76486,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"e78b0b9b9caa425dcb628118fa0f263ad27a86f1","committime":"2024-05-28T12:34:08","packageid":76486,"repoid":1,"summary":"dev-lang\/dafny: Stabilize 4.6.0 amd64, #932860"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"27c19aee8a8fefff9d11fd6e4217df29fca2b62f","committime":"2024-05-27T21:18:38","packageid":76486,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"27dba045aefe79c1003dd7a0895eea644b81aba1","committime":"2024-05-27T20:52:54","packageid":76486,"repoid":1,"summary":"dev-lang\/dafny: drop old 4.4.0-r1"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Closes: https:\/\/bugs.gentoo.org\/930488\nSigned-off-by: Maciej Barć ","commitid":"f8818808669f972bf68daf66817dc3bf232b09c0","committime":"2024-05-27T20:51:19","packageid":76486,"repoid":1,"summary":"dev-lang\/dafny: disable broken c++ tests"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"0bc70792b421c7e0a94f86d71cf2ffd84d7d8fd4","committime":"2024-05-24T03:03:35","packageid":76486,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"matoro_gentoo@matoro.tk","authorname":"Matoro Mahri","body":"Signed-off-by: Matoro Mahri \nSigned-off-by: Ionen Wolkens ","commitid":"9fde0b46e77d962895c5ab7158f44c40da8a6ad5","committime":"2024-05-24T01:51:51","packageid":76486,"repoid":1,"summary":"dev-lang\/dafny: Stabilize 4.5.0 amd64, #930160"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"19b29baec7902fe4010f23154700e3318f6aaa83","committime":"2024-05-23T22:18:42","packageid":76486,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"33ec65bb3b4d993ecb83ac47e1a5996a1ccca19a","committime":"2024-05-23T21:28:58","packageid":76486,"repoid":1,"summary":"dev-lang\/dafny: use edo instead of edob"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"b28e9dfb1cd545cd656d8090a910775b549e9291","committime":"2024-03-29T03:19:10","packageid":76486,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"43e028aa250df79d426cb1b12a1cc930c4493f9e","committime":"2024-03-29T02:34:00","packageid":76486,"repoid":1,"summary":"dev-lang\/dafny: bump to 4.6.0"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"535b2b0b8d56e5a5db601c183c094c99bbf3ede4","committime":"2024-03-18T23:19:00","packageid":76486,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Closes: https:\/\/bugs.gentoo.org\/927242\nSigned-off-by: Maciej Barć ","commitid":"0e92cfaf9a9fe2f03d665e2060d58470ebba1a27","committime":"2024-03-18T13:21:42","packageid":76486,"repoid":1,"summary":"dev-lang\/dafny: disable tests requiring cargo"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"284653979dcf75671ab104fa3d50bd2713e5e017","committime":"2024-03-18T08:33:50","packageid":76486,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Closes: https:\/\/bugs.gentoo.org\/927225\nSigned-off-by: Maciej Barć ","commitid":"7edf7022594debb9d299d771d1b6902b1d555c64","committime":"2024-03-18T08:26:12","packageid":76486,"repoid":1,"summary":"dev-lang\/dafny: add missing psutil test dependency"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"7d4dff2bfcd53498e1d354cf3b89a24adc06b5ca","committime":"2024-03-17T22:06:57","packageid":76486,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"3caad7d601b6fbdbf25e17d445db7f6361570d8f","committime":"2024-03-17T17:01:28","packageid":76486,"repoid":1,"summary":"dev-lang\/dafny: bump to 4.5.0"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"5d9800da116fd4d3c8409edeb24fe53ef6ddd4d6","committime":"2024-02-10T16:33:23","packageid":76486,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"ddfc17b77a56706feee2307d495746aa05c3ea59","committime":"2024-02-10T13:39:45","packageid":76486,"repoid":1,"summary":"dev-lang\/dafny: drop old 4.3.0-r1"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"0381cd5d3921312bbb7c055ee2514cdf49790034","committime":"2024-01-29T14:18:06","packageid":76486,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"b2fc369aca1bdd812754d9e77005b389d9739ec6","committime":"2024-01-29T13:46:43","packageid":76486,"repoid":1,"summary":"dev-lang\/dafny: Stabilize 4.4.0-r1 amd64, #922370"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"5dd6e1d63a3abe51bfbef471f26a822a62b07aac","committime":"2023-12-13T17:31:57","packageid":76486,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"4a647d38ea7fa3703a216d12e5c679b327d00583","committime":"2023-12-13T12:05:55","packageid":76486,"repoid":1,"summary":"dev-lang\/dafny: bring Java support back"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"fc2d3d5ee464ea7b4465630d475c80bffdab028d","committime":"2023-12-13T02:33:49","packageid":76486,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"394afbb93c7086cdb0e39ef9e12964ca78fdf6e8","committime":"2023-12-13T01:55:44","packageid":76486,"repoid":1,"summary":"dev-lang\/dafny: bump to 4.4.0"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"807791ca2d7beff4f564ee4007dbe8c204a169db","committime":"2023-11-13T22:18:52","packageid":76486,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"e1aa41797d3dfee464dd4a148c422570c077bd67","committime":"2023-11-13T22:03:57","packageid":76486,"repoid":1,"summary":"dev-lang\/dafny: Stabilize 4.3.0-r1 amd64, #917307"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"77986fefc178431e0cffe7c41ced6b41f2092599","committime":"2023-10-30T23:36:46","packageid":76486,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"467b53be7e33f8c51436b04116c94f331131f527","committime":"2023-10-30T19:26:53","packageid":76486,"repoid":1,"summary":"dev-lang\/dafny: patch out .NET framework"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"dadf93960b65b154ad7570b289ba037998a1ec01","committime":"2023-10-06T15:31:53","packageid":76486,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"force clean _JAVA_OPTIONS\n\nSigned-off-by: Maciej Barć ","commitid":"6b0f2999c4b2a7996376971616d3552ce4d732a6","committime":"2023-10-06T12:55:31","packageid":76486,"repoid":1,"summary":"dev-lang\/dafny: clean environment in pkg_setup"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"88c24e06cc375e77b0cac97db9b333975c0ffe8e","committime":"2023-10-06T12:48:16","packageid":76486,"repoid":1,"summary":"dev-lang\/dafny: drop old 4.2.0"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"a4c322063be687a2a106063b07628e4871a7c793","committime":"2023-09-30T14:31:29","packageid":76486,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"f194b5a1baea188e1eced31d0e0b1ab3530b4f29","committime":"2023-09-29T10:39:34","packageid":76486,"repoid":1,"summary":"dev-lang\/dafny: bump to 4.3.0"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"1bf0224b450a10b6f8ea62ce656d420de09025fa","committime":"2023-09-18T15:16:35","packageid":76486,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Closes: https:\/\/bugs.gentoo.org\/914372\nSigned-off-by: Maciej Barć ","commitid":"418e2b38c1d8353a346468a267d7adf2d8dbd656","committime":"2023-09-18T07:18:44","packageid":76486,"repoid":1,"summary":"dev-lang\/dafny: add \"go\" test dependency"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"92707c5141c506c28054d599fed37d3b4dade456","committime":"2023-09-17T22:46:38","packageid":76486,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"7b3b0de322937aa1ff952ced4336e8aa06c53247","committime":"2023-09-17T22:18:19","packageid":76486,"repoid":1,"summary":"dev-lang\/dafny: add missing src_unpack to support git"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"25fe8e2540e2b1541d508c9467f9e4446220cbcd","committime":"2023-09-17T19:46:34","packageid":76486,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"b9accadea8f918563608b9936941022939c14f89","committime":"2023-09-17T19:16:33","packageid":76486,"repoid":1,"summary":"dev-lang\/dafny: new package; add 4.2.0"}],"dependencies":[{"block":false,"categoryid":396,"description":"Virtual for Java Development Kit (JDK)","ebuildids":[873976],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"java@gentoo.org","maintainername":"Java","name":"jdk","packageid":42905},{"block":false,"categoryid":406,"description":"Java environment configuration query tool","ebuildids":[873976],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"java@gentoo.org","maintainername":"Java","name":"java-config","packageid":51445,"summary":"java-config is used to configure the Java subsystem on your Gentoo installation. In particular, it can be used to configure system-wide and per-user default JVMs, construct classpath env vars from installed java packages and be used to query for the path to various JDK tools."}],"depending":[{"block":true,"categoryid":450,"description":"Verification-aware programming language","ebuildids":[876159],"firstseen":"2022-06-29T17:34:09.417548","name":"dafny-bin","packageid":75101,"summary":"Dafny is a verification-ready programming language. As you type in your program, Dafny's verifier constantly looks over your shoulder, flags any errors, shows you counterexamples, and congratulates you when your code matches your specifications. When you're done, Dafny can compile your code to C#, Java, JavaScript or Go (more to come!), so it can integrate with your existing workflow. Dafny will give you assurance that your code meets the specifications you write, while letting you write both code and specifications in the Dafny programming language itself. Since verification is an integral part of development, it will thus reduce the risk of costly late-stage bugs that are typically missed by testing. Dafny has support for common programming concepts such as classes and trait inheritance, inductive datatypes that can have methods and are suitable for pattern matching, lazily unbounded datatypes, subset types e.g. for bounded integers, lambdas, and immutable and mutable data structures. Dafny also offers an extensive toolbox for mathematical proofs, such as unbounded and bounded quantifiers, calculational proofs, pre- and post-conditions, termination conditions, loop invariants, and read\/write specifications."}],"ebuilds":[{"archs":["amd64"],"ebuildid":873976,"firstseen":"2025-08-26T14:31:48.398580","license":"Apache-2.0 BSD-2 MIT","moddate":"2026-03-28T18:04:18","packageid":76486,"repoid":1,"slot":"0","uses":["debug","test"],"version":"4.11.0"}],"masks":[],"package":{"categoryid":450,"description":"Dafny is a verification-aware programming language","firstseen":"2023-09-17T20:47:46.121409","name":"dafny","packageid":76486,"summary":"Dafny is a verification-ready programming language. As you type in your program, Dafny's verifier constantly looks over your shoulder, flags any errors, shows you counterexamples, and congratulates you when your code matches your specifications. When you're done, Dafny can compile your code to C#, Java, JavaScript or Go (more to come!), so it can integrate with your existing workflow. Dafny will give you assurance that your code meets the specifications you write, while letting you write both code and specifications in the Dafny programming language itself. Since verification is an integral part of development, it will thus reduce the risk of costly late-stage bugs that are typically missed by testing. Dafny has support for common programming concepts such as classes and trait inheritance, inductive datatypes that can have methods and are suitable for pattern matching, lazily unbounded datatypes, subset types e.g. for bounded integers, lambdas, and immutable and mutable data structures. Dafny also offers an extensive toolbox for mathematical proofs, such as unbounded and bounded quantifiers, calculational proofs, pre- and post-conditions, termination conditions, loop invariants, and read\/write specifications."},"rdependencies":[{"block":false,"categoryid":406,"description":"Java environment configuration query tool","ebuildids":[873976],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"java@gentoo.org","maintainername":"Java","name":"java-config","packageid":51445,"summary":"java-config is used to configure the Java subsystem on your Gentoo installation. In particular, it can be used to configure system-wide and per-user default JVMs, construct classpath env vars from installed java packages and be used to query for the path to various JDK tools."},{"block":false,"categoryid":396,"description":"Virtual for Java Runtime Environment (JRE)","ebuildids":[873976],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"java@gentoo.org","maintainername":"Java","name":"jre","packageid":54546},{"block":false,"categoryid":317,"description":"An efficient theorem prover","ebuildids":[873976],"firstseen":"2017-01-02T14:37:11.628924","name":"z3","packageid":66323,"summary":"Z3 is an efficient Satisfiability Modulo Theories (SMT) solver from Microsoft Research. Z3 is a solver for symbolic logic, a foundation for many software engineering tools. SMT solvers rely on a tight integration of specialized engines of proof. Each engine owns a piece of the global puzzle and implements specialized algorithms. For example, Z3’s engine for arithmetic integrates Simplex, cuts and polynomial reasoning, while an engine for strings are regular expressions integrate methods for symbolic derivatives of regular languages. A theme shared among many of the algorithms is how they exploit a duality between finding satisfying solutions and finding refutation proofs. The solver also integrates engines for global and local inferences and global propagation. Z3 is used in a wide range of software engineering applications, ranging from program verification, compiler validation, testing, fuzzing using dynamic symbolic execution, model-based software development, network verification, and optimization."},{"block":false,"categoryid":396,"description":"Virtual for .NET SDK","ebuildids":[873976],"firstseen":"2021-06-27T22:37:17.874769","name":"dotnet-sdk","packageid":73042},{"block":true,"categoryid":450,"description":"Verification-aware programming language","ebuildids":[873976],"firstseen":"2022-06-29T17:34:09.417548","name":"dafny-bin","packageid":75101,"summary":"Dafny is a verification-ready programming language. As you type in your program, Dafny's verifier constantly looks over your shoulder, flags any errors, shows you counterexamples, and congratulates you when your code matches your specifications. When you're done, Dafny can compile your code to C#, Java, JavaScript or Go (more to come!), so it can integrate with your existing workflow. Dafny will give you assurance that your code meets the specifications you write, while letting you write both code and specifications in the Dafny programming language itself. Since verification is an integral part of development, it will thus reduce the risk of costly late-stage bugs that are typically missed by testing. Dafny has support for common programming concepts such as classes and trait inheritance, inductive datatypes that can have methods and are suitable for pattern matching, lazily unbounded datatypes, subset types e.g. for bounded integers, lambdas, and immutable and mutable data structures. Dafny also offers an extensive toolbox for mathematical proofs, such as unbounded and bounded quantifiers, calculational proofs, pre- and post-conditions, termination conditions, loop invariants, and read\/write specifications."}],"repos":[{"branch":"master","lastcommit":"52197549fd3431fa256b8edbafdcd3702dd0e134","name":"gentoo","path":"\/usr\/portage","repoid":1,"upstream":"origin"}],"tracked":false,"urls":["https:\/\/dafny.org\/","https:\/\/github.com\/dafny-lang\/dafny\/"],"uses":[{"description":"Enable extra debug codepaths, like asserts and extra output. If you want to get meaningful backtraces see https:\/\/wiki.gentoo.org\/wiki\/Project:Quality_Assurance\/Backtraces","isdefault":false,"use":"debug"},{"description":"Enable dependencies and\/or preparations necessary to run tests (usually controlled by FEATURES=test but can be toggled independently)","isdefault":false,"use":"test"}]}