{"bugs":[],"categories":[{"categoryid":450,"name":"dev-lang","summary":"The dev-lang category contains various programming language implementations and related tools."},{"categoryid":393,"name":"dev-libs","summary":"The dev-libs category contains various miscellaneous programming libraries."},{"categoryid":428,"name":"dev-util","summary":"The dev-util category contains various miscellaneous development utilities."},{"categoryid":317,"name":"sci-mathematics","summary":"The sci-mathematics category contains mathematical software."}],"changelog":[{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"97b0735e905e378f522ea71d79ba82cb8407f6a1","committime":"2026-03-14T18:15:49","packageid":75101,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"2c4d880661b90fb4ee514e945ea6e858380a8b74","committime":"2026-03-14T18:00:54","packageid":75101,"repoid":1,"summary":"dev-lang\/dafny-bin: drop old 4.10.0-r1"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"e36d93b9d6ada2a9210bd63e737a585aac221c8f","committime":"2025-11-07T19:15:46","packageid":75101,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"b26324ac01bc019b14c1b18ce5e4f7d4c7921e73","committime":"2025-11-07T19:11:08","packageid":75101,"repoid":1,"summary":"dev-lang\/dafny-bin: Stabilize 4.11.0-r1 amd64, #965803"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"106a7c75ced9b28edab6b38fa64e6e955f7a1e28","committime":"2025-09-13T13:18:51","packageid":75101,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"parona@protonmail.com","authorname":"Alfred Wingate","body":"Signed-off-by: Alfred Wingate \nPart-of: https:\/\/github.com\/gentoo\/gentoo\/pull\/43739\nSigned-off-by: Sam James ","commitid":"6ca0633e00132ba90b1ec8b9c58ac3ac3deede63","committime":"2025-09-10T23:24:44","packageid":75101,"repoid":1,"summary":"dev-lang\/dafny-bin: accept lttng-ust 2.12 compat package"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"0e1f39eb18fe99e1cee4560a4480c26742ddc794","committime":"2025-08-26T13:18:55","packageid":75101,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"3eb17aab0dbb6baa4ef6d62a05ca58666f41ed01","committime":"2025-08-26T10:40:13","packageid":75101,"repoid":1,"summary":"dev-lang\/dafny-bin: bump to 4.11.0"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"cf5b45025f1e38868ce7e0475c358fe11edf794d","committime":"2025-03-15T20:03:14","packageid":75101,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"ec7486509dda0f534da6621195b01ccd8e80c7ad","committime":"2025-03-15T18:33:49","packageid":75101,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"5dc26d661c3da5b02a5c299b77cb6e075e059f6d","committime":"2025-03-15T18:29:31","packageid":75101,"repoid":1,"summary":"dev-lang\/dafny-bin: drop old 4.9.1"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"fe1ba2a8a563a237f03a3b3d0db6469ad55cfd7e","committime":"2025-03-15T18:17:02","packageid":75101,"repoid":1,"summary":"dev-lang\/dafny-bin: Stabilize 4.10.0 amd64, #951434"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"09e5280a60183d81e78498186a9bf7a57f072d36","committime":"2025-02-06T12:33:20","packageid":75101,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"64659d67a4b400909c6ccd6862351e95f52e06a8","committime":"2025-02-06T12:24:19","packageid":75101,"repoid":1,"summary":"dev-lang\/dafny-bin: bump to 4.10.0"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"ea9f5bac935571783249d7b13f501c0b1fa4b1e7","committime":"2025-02-06T12:22:17","packageid":75101,"repoid":1,"summary":"dev-lang\/dafny-bin: drop old 4.9.0"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"70975847e66421ba4d9c92daf8ee78916c69a062","committime":"2025-02-05T14:18:21","packageid":75101,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"jsmolic@gentoo.org","authorname":"Jakov Smolić","body":"Signed-off-by: Jakov Smolić ","commitid":"17fe6d6a9fe393193217b6dde8c8cccfa8ec5354","committime":"2025-02-05T14:08:50","packageid":75101,"repoid":1,"summary":"dev-lang\/dafny-bin: Stabilize 4.9.1 amd64, #949295"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"47c01cfe23d54ae8bf98f4cbf282226460ecf9ea","committime":"2024-12-27T19:03:23","packageid":75101,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"e068d55c4a56f15e54ef4edde0a480bfbb440c79","committime":"2024-12-27T14:44:52","packageid":75101,"repoid":1,"summary":"dev-lang\/dafny-bin: bump to 4.9.1"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"a0fb6bb234bc542bc28ba848fb2751269b0962d5","committime":"2024-12-06T08:48:28","packageid":75101,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"1da7c688d39008900d81ee59aa594a74eff90988","committime":"2024-12-06T08:26:22","packageid":75101,"repoid":1,"summary":"dev-lang\/dafny-bin: drop old 4.8.1"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"a552d1e68b173336dc5f09e8185f546bf58129d9","committime":"2024-12-06T08:03:32","packageid":75101,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"88eea3243e71a3298dd4258e5632b1edc12b1486","committime":"2024-12-06T07:47:40","packageid":75101,"repoid":1,"summary":"dev-lang\/dafny-bin: Stabilize 4.9.0 amd64, #945928"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"b973633cb67947ec796995fd00e917b16b1995bd","committime":"2024-10-31T23:33:18","packageid":75101,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"e60cdf16ee2c1d662e994a9f3198f860492ee47d","committime":"2024-10-31T16:35:05","packageid":75101,"repoid":1,"summary":"dev-lang\/dafny-bin: bump to 4.9.0"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"99d9a73183ac9dee6e37fdc9ddadc862b0135842","committime":"2024-10-31T16:33:34","packageid":75101,"repoid":1,"summary":"dev-lang\/dafny-bin: drop old 4.7.0"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"7eedae66da080ede28eda35f07bfafa9dd9861da","committime":"2024-10-23T17:18:15","packageid":75101,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"a748bab9c7411bd6d5261e82017bdc7ce1cde848","committime":"2024-10-23T16:48:04","packageid":75101,"repoid":1,"summary":"dev-lang\/dafny-bin: Stabilize 4.8.1 amd64, #942018"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"d8f5f85101c83424eef991d6bea5456c9ec12baa","committime":"2024-09-22T22:21:50","packageid":75101,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"3cb6137e81267e1970a85fb43c6f302d42d9e845","committime":"2024-09-22T21:14:36","packageid":75101,"repoid":1,"summary":"dev-lang\/dafny-bin: bump to 4.8.1"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"e1d80ba2afe16ac08af4259c42aa40d145495a09","committime":"2024-09-22T21:13:22","packageid":75101,"repoid":1,"summary":"dev-lang\/dafny-bin: drop old 4.6.0"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"694066a416f6e03875d281aba6f5b053098a38ff","committime":"2024-08-01T17:03:52","packageid":75101,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"4cdfdaf2451a46012107d76e8f32722651463158","committime":"2024-08-01T16:47:12","packageid":75101,"repoid":1,"summary":"dev-lang\/dafny-bin: Stabilize 4.7.0 amd64, #937076"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"0f54615c9ebe139b7a3b4598bc8383effffbeac9","committime":"2024-06-27T22:48:56","packageid":75101,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"df3a1d6a8002eca065e0849b5ad7c513d839992a","committime":"2024-06-27T12:39:22","packageid":75101,"repoid":1,"summary":"dev-lang\/dafny-bin: bump to 4.7.0"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"3a0090b48a23931ad055dc65804b20c626679a1b","committime":"2024-06-25T15:37:25","packageid":75101,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"6d6c809f8810d7c748312cf76463f6f755e8e840","committime":"2024-06-25T14:32:04","packageid":75101,"repoid":1,"summary":"dev-lang\/dafny-bin: drop old 4.5.0-r1"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"67214336f6da57076f1f5f16327044dff0d97a58","committime":"2024-06-25T14:31:48","packageid":75101,"repoid":1,"summary":"dev-lang\/dafny-bin: drop old 4.4.0-r1"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"66fd779161ba8426384b04735cb9e6937ef684ec","committime":"2024-04-29T00:18:59","packageid":75101,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"96224c981667cf4ef4d36837263f15497954a19e","committime":"2024-04-29T00:06:22","packageid":75101,"repoid":1,"summary":"dev-lang\/dafny-bin: Stabilize 4.6.0 amd64, #930843"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"b28e9dfb1cd545cd656d8090a910775b549e9291","committime":"2024-03-29T03:19:10","packageid":75101,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"533148e0abceba84d64d7bec2d888b812486bef1","committime":"2024-03-29T00:24:12","packageid":75101,"repoid":1,"summary":"dev-lang\/dafny-bin: restrict binary stripping"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"7daa94e800f8ba1ed588c232be67a3aada77389a","committime":"2024-03-29T00:01:17","packageid":75101,"repoid":1,"summary":"dev-lang\/dafny-bin: bump to 4.6.0"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"999ec52349e2f91870658e23331a4cb3e5598637","committime":"2024-03-20T19:49:02","packageid":75101,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"af6502c5956a20d2d329ec0c815aa4073d2667ef","committime":"2024-03-20T17:59:09","packageid":75101,"repoid":1,"summary":"dev-lang\/dafny-bin: bump to 4.5.0"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"1d862d7b3db2d20803939f6cd34d9bfaa11f2846","committime":"2024-03-20T17:57:03","packageid":75101,"repoid":1,"summary":"dev-lang\/dafny-bin: drop old 4.3.0"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"9bc7259087156ad5ea5a30a1cb318231c333e74b","committime":"2024-01-18T17:33:14","packageid":75101,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"cc7a90f1b38c685e4e031ebc8180fa381a47c1ad","committime":"2024-01-18T17:23:45","packageid":75101,"repoid":1,"summary":"dev-lang\/dafny-bin: Stabilize 4.4.0 amd64, #922369"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"fc2d3d5ee464ea7b4465630d475c80bffdab028d","committime":"2023-12-13T02:33:49","packageid":75101,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"feb6baf08a9e8c5add0704f76a352357c3afbd46","committime":"2023-12-13T00:23:26","packageid":75101,"repoid":1,"summary":"dev-lang\/dafny-bin: bump to 4.4.0"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"f9f64a2292a96c2a6fcc3c2334ca98407e72ef4e","committime":"2023-11-15T19:31:59","packageid":75101,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"6200b24b8feef47380a433338034df6d190a79cc","committime":"2023-11-15T15:17:14","packageid":75101,"repoid":1,"summary":"dev-lang\/dafny-bin: drop old 4.2.0"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"b4771e882e42045e84a758a7b27a5f602a47e550","committime":"2023-11-15T15:17:05","packageid":75101,"repoid":1,"summary":"dev-lang\/dafny-bin: drop old 3.12.0"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"915de127dc9a983d010dd5e473b4b98bcb64c06f","committime":"2023-11-13T20:01:59","packageid":75101,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"fc92ca212e78404d3fb188618ea40dcce6b4a162","committime":"2023-11-13T19:52:34","packageid":75101,"repoid":1,"summary":"dev-lang\/dafny-bin: Stabilize 4.3.0 amd64, #917301"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"ada08893d0952f49598cf1625582d9df0427b703","committime":"2023-10-28T17:01:53","packageid":75101,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"272b8e82d6f45a577acae833794e02d0908da3e5","committime":"2023-10-28T16:48:06","packageid":75101,"repoid":1,"summary":"dev-lang\/dafny-bin: Stabilize 4.2.0 amd64, #916395"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"a4c322063be687a2a106063b07628e4871a7c793","committime":"2023-09-30T14:31:29","packageid":75101,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"d480aaec2cb9acedec8dfab023dad602d68923c0","committime":"2023-09-30T12:53:23","packageid":75101,"repoid":1,"summary":"dev-lang\/dafny-bin: bump to 4.3.0"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"feb188f13d40fea50569f3e4fe0fa1b49460b883","committime":"2023-09-30T12:52:39","packageid":75101,"repoid":1,"summary":"dev-lang\/dafny-bin: drop old 3.10.0"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"d9d5762279bdc13bacde0ea58055973d3448e1ad","committime":"2023-09-18T00:31:27","packageid":75101,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"c12b53ccd6db80a581f8f2bbb26efef52704a0ca","committime":"2023-09-18T00:17:45","packageid":75101,"repoid":1,"summary":"dev-lang\/dafny-bin: Stabilize 3.12.0 amd64, #914366"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"25fe8e2540e2b1541d508c9467f9e4446220cbcd","committime":"2023-09-17T19:46:34","packageid":75101,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"8db61c6368da21e397ff2fbd9a7157c917a88a25","committime":"2023-09-17T09:42:22","packageid":75101,"repoid":1,"summary":"dev-lang\/dafny-bin: bump to 4.2.0"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"3b4de3a49b60813e8050220d88b8ce00b5f5d868","committime":"2023-09-16T15:01:37","packageid":75101,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"94685dc4b8f757f2c0d221182ccc028d613ae13f","committime":"2023-09-16T14:45:59","packageid":75101,"repoid":1,"summary":"dev-lang\/dafny-bin: drop old 3.11.0"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"efe3d02cd6e19168c55ddc0b8c094f2645cbe233","committime":"2023-02-22T00:01:56","packageid":75101,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"76fc122086248e94e1c1b416f2a0e790b69925ce","committime":"2023-02-21T21:25:26","packageid":75101,"repoid":1,"summary":"dev-lang\/dafny-bin: bump to 3.12.0"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"8185fa738b774d720881a8a5226d0f45707ed4e8","committime":"2023-02-01T19:46:55","packageid":75101,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"9e268e67b7c3f4fed4ba0f7ad08317fdf852018a","committime":"2023-02-01T19:38:01","packageid":75101,"repoid":1,"summary":"dev-lang\/dafny-bin: Stabilize 3.10.0 amd64, #892820"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"cf61e9e658900d206257a03a51a06a644aba29c0","committime":"2023-02-01T14:16:45","packageid":75101,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"a08c191b0d3b46b2f2fd9f106e5731d97fd7d029","committime":"2023-02-01T13:31:25","packageid":75101,"repoid":1,"summary":"dev-lang\/dafny-bin: drop old 3.9.1-r1"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"8024c8c01a62ea668dff67ff7d204896e4f9bbab","committime":"2023-02-01T13:31:09","packageid":75101,"repoid":1,"summary":"dev-lang\/dafny-bin: drop old 3.9.0-r1"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"3939d117488a33f2c0404c51f86e976b896f06fa","committime":"2023-02-01T13:30:18","packageid":75101,"repoid":1,"summary":"dev-lang\/dafny-bin: bump to 3.11.0"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"48e85c1bd05316981105032041ae4d6501e3d9af","committime":"2022-12-15T22:02:13","packageid":75101,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"e9bfee871bd303561ed98d86343ce07ba85c3a7c","committime":"2022-12-15T21:51:03","packageid":75101,"repoid":1,"summary":"dev-lang\/dafny-bin: drop old 3.8.1-r1"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"2aae64a96eaa2c1c1375bb0bb534d0fd6e70116a","committime":"2022-12-15T21:50:22","packageid":75101,"repoid":1,"summary":"dev-lang\/dafny-bin: bump to 3.10.0"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"87110948aded1c11c01362d015fd6e4ce3358fe6","committime":"2022-11-18T20:46:47","packageid":75101,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Closes: https:\/\/bugs.gentoo.org\/875614\nBug: https:\/\/bugs.gentoo.org\/798990\nBug: https:\/\/bugs.gentoo.org\/872605\nSigned-off-by: Maciej Barć ","commitid":"0d8a0892d862cd9214ea39af7c081fa6aa4d7790","committime":"2022-11-18T18:59:39","packageid":75101,"repoid":1,"summary":"dev-lang\/dafny-bin: depend on lttng-ust with SLOT=0\/2.12"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"75751261331ffdf39b2f710dbf14322a63416aaf","committime":"2022-11-01T02:46:44","packageid":75101,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"50a92b06aa99628f9b8f4e08ce545962161ef4c8","committime":"2022-10-31T22:57:16","packageid":75101,"repoid":1,"summary":"dev-lang\/dafny-bin: drop old 3.8.0"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"717ce126fd8e6a0f2d20044e0f89b536944d9037","committime":"2022-10-31T22:53:51","packageid":75101,"repoid":1,"summary":"dev-lang\/dafny-bin: bump to 3.9.1"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"1d92a7721795c09c0eed109000090409cc7b31d9","committime":"2022-10-06T02:33:51","packageid":75101,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"b4f7cb650e4e985964819af5a80c4609922caf83","committime":"2022-10-06T02:28:12","packageid":75101,"repoid":1,"summary":"dev-lang\/dafny-bin: drop old 3.7.3"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"be1fb8393a2fa93b883b7491da0f51a0a9c7cd79","committime":"2022-10-06T02:06:26","packageid":75101,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"022c23ece950df5476a64d16b48574be124c7f7c","committime":"2022-10-06T01:49:12","packageid":75101,"repoid":1,"summary":"dev-lang\/dafny-bin: bump to 3.9.0"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"0be1179f7d5fe758083ea53766e8e9170ec0b8e1","committime":"2022-09-02T02:31:48","packageid":75101,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"b3dc489e2b4f645738bb37b31c9c7a491d2ab31a","committime":"2022-09-02T02:22:30","packageid":75101,"repoid":1,"summary":"dev-lang\/dafny-bin: drop old 3.7.2"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"64e87607ee03faca4b365625be5dc32c2cbb8cd6","committime":"2022-09-02T02:21:27","packageid":75101,"repoid":1,"summary":"dev-lang\/dafny-bin: bump to 3.8.1"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"89982f39af565b56e6ceaf47878ce6f73ffad72c","committime":"2022-08-27T01:31:39","packageid":75101,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"cdf6b1e3d5b985b8cf651dd8bf1d9ac0ab6fe407","committime":"2022-08-27T01:16:56","packageid":75101,"repoid":1,"summary":"dev-lang\/dafny-bin: drop old 3.7.1-r2"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"3f50d6f5c1b74194e7a32bbe2ab741f9d540ce45","committime":"2022-08-27T01:16:43","packageid":75101,"repoid":1,"summary":"dev-lang\/dafny-bin: bump to 3.8.0"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"5b6d73b9930a52e1bbcfbe86040d619f498882e4","committime":"2022-07-22T02:31:49","packageid":75101,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"c355bfcaf66e31d9c811d77db6752be8080137e9","committime":"2022-07-22T01:24:25","packageid":75101,"repoid":1,"summary":"dev-lang\/dafny-bin: bump to 3.7.3"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"5dc308a4afc74c18c80f80e1e4bef82de05cf4ed","committime":"2022-07-19T19:46:40","packageid":75101,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"c83357b8a831e17aa628222bd34fb934af82d2b8","committime":"2022-07-19T18:28:14","packageid":75101,"repoid":1,"summary":"dev-lang\/dafny-bin: bump to 3.7.2"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"51486fdd410d9bc018a84ad17b39d88a71584c3c","committime":"2022-06-30T15:46:22","packageid":75101,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Closes: https:\/\/bugs.gentoo.org\/855365\nSigned-off-by: Maciej Barć ","commitid":"b30329214eaa780ff4a9f210855234099ad09737","committime":"2022-06-30T15:33:08","packageid":75101,"repoid":1,"summary":"dev-lang\/dafny-bin: use insopts"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"15f936385cefe62a28d216f4b29148120f6c620f","committime":"2022-06-30T13:16:22","packageid":75101,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Closes: https:\/\/bugs.gentoo.org\/855215\nSigned-off-by: Maciej Barć ","commitid":"5c6894c8043cfa204b6a4b1dcb53dde3ed37dea1","committime":"2022-06-30T13:10:07","packageid":75101,"repoid":1,"summary":"dev-lang\/dafny-bin: add missing runtime deps; exe bit for ibs"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"9dc931927b0c2a6c35901dff24a84e9c00e5a78f","committime":"2022-06-29T16:16:33","packageid":75101,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"cac9016508d0b21c96651c29c666d12da080a4be","committime":"2022-06-29T15:58:21","packageid":75101,"repoid":1,"summary":"dev-lang\/dafny-bin: new package; add version 3.7.1"}],"dependencies":[],"depending":[{"block":true,"categoryid":450,"description":"Dafny is a verification-aware programming language","ebuildids":[873976],"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."}],"ebuilds":[{"archs":["-*","amd64"],"ebuildid":876159,"firstseen":"2025-09-13T14:37:24.802176","license":"MIT","moddate":"2025-11-07T19:28:00","packageid":75101,"repoid":1,"slot":"0","uses":[],"version":"4.11.0-r1"}],"masks":[],"package":{"categoryid":450,"description":"Verification-aware programming language","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."},"rdependencies":[{"block":false,"categoryid":393,"description":"Userspace RCU (read-copy-update) library","ebuildids":[876159],"firstseen":"2011-12-29T14:37:55.058271","maintainer":"base-system@gentoo.org","maintainername":"Gentoo Base System","name":"userspace-rcu","packageid":58620},{"block":false,"categoryid":428,"description":"Linux Trace Toolkit - UST library","ebuildids":[876159],"firstseen":"2014-03-04T14:37:32.723918","maintainer":"dlan@gentoo.org","maintainername":"Yixun Lan","name":"lttng-ust","packageid":61984,"summary":"The userspace tracer is designed to provide detailed information about userspace activity. UST is a port of the LTTng kernel tracer to userspace. Like the LTTng kernel tracer, performance is the main goal. Tracing does not require system calls or traps. UST instrumentation points may be added in any userspace code including signal handlers and libraries."},{"block":false,"categoryid":317,"description":"An efficient theorem prover","ebuildids":[876159],"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":true,"categoryid":450,"description":"Dafny is a verification-aware programming language","ebuildids":[876159],"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."},{"block":false,"categoryid":428,"description":"Linux Trace Toolkit - UST library","ebuildids":[876159],"firstseen":"2025-09-11T09:21:43.743327","name":"lttng-ust-compat","packageid":78520,"summary":"The userspace tracer is designed to provide detailed information about userspace activity. UST is a port of the LTTng kernel tracer to userspace. Like the LTTng kernel tracer, performance is the main goal. Tracing does not require system calls or traps. UST instrumentation points may be added in any userspace code including signal handlers and libraries."}],"repos":[{"branch":"master","lastcommit":"f87ce2b74421571078063820dc1065e7089c9fa7","name":"gentoo","path":"\/usr\/portage","repoid":1,"upstream":"origin"}],"tracked":false,"urls":["https:\/\/dafny.org\/","https:\/\/github.com\/dafny-lang\/dafny\/"],"uses":[]}