{"bugs":[{"bugid":941624,"firstseen":"2024-10-16T12:53:24.559007","severity":"normal","status":"CONFIRMED","summary":"sci-mathematics\/easycrypt-2024.09 - [libtool] [gcc-15] make inconsistent assumptions over interface Nat"},{"bugid":942566,"firstseen":"2024-10-30T21:04:52.384354","severity":"normal","status":"CONFIRMED","summary":"sci-mathematics\/easycrypt-2024.09 - [gcc-15] Failed to run command: dune build @install --display=short --profile release -j 4"}],"categories":[{"categoryid":450,"name":"dev-lang","summary":"The dev-lang category contains various programming language implementations and related tools."},{"categoryid":314,"name":"dev-ml","summary":"The dev-ml category contains libraries and utilities relevant to the ML programming language."},{"categoryid":317,"name":"sci-mathematics","summary":"The sci-mathematics category contains mathematical software."}],"changelog":[{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"2814d6c07467fad36d276287f8e65970b9f337eb","committime":"2024-10-06T20:03:12","packageid":73746,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"1dbb8ef709f77bc430ef5384ea32842541469fb3","committime":"2024-10-06T19:18:26","packageid":73746,"repoid":1,"summary":"sci-mathematics\/easycrypt: bump to 2024.09"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"4fb25d0a3be9ee43003c0bbf7208b566df7b9917","committime":"2024-07-02T15:03:48","packageid":73746,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"0b5c2a947e418884e661eb0a46097a8bc4c3736b","committime":"2024-07-02T13:49:57","packageid":73746,"repoid":1,"summary":"sci-mathematics\/easycrypt: drop old 2023.09"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Closes: https:\/\/bugs.gentoo.org\/935344\nSigned-off-by: Maciej Barć ","commitid":"c51e0da237da1b3bca1d52b814009f298af4e071","committime":"2024-07-02T13:49:15","packageid":73746,"repoid":1,"summary":"sci-mathematics\/easycrypt: restrict num to version <1.5"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"b29dcc029599304cf82d2f24a2b0d7545a610338","committime":"2024-02-03T13:18:21","packageid":73746,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"d9f21a4c28dba8bd717f6978a212e88fbf4a7e38","committime":"2024-02-03T12:56:41","packageid":73746,"repoid":1,"summary":"sci-mathematics\/easycrypt: bump to 2024.01"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"6ae753304c2c5dd621d5381313b804e6a0d1bac2","committime":"2024-02-03T12:51:40","packageid":73746,"repoid":1,"summary":"sci-mathematics\/easycrypt: drop old 2022.04_p20230324"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"af5d6c40538b33baa2d55aefd1a1c2904d5c7506","committime":"2023-09-30T14:46:33","packageid":73746,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"3c174a5622784b7f7193c2983a023666028ede4e","committime":"2023-09-30T14:33:59","packageid":73746,"repoid":1,"summary":"sci-mathematics\/easycrypt: bump to 2023.09"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"3bb1911b194b46a11dec2ab18c8e2e05ba47dec7","committime":"2023-07-15T22:31:50","packageid":73746,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"66dc6979263520ad756d440d235757a87e760b3e","committime":"2023-07-15T21:52:59","packageid":73746,"repoid":1,"summary":"sci-mathematics\/easycrypt: drop old 2022.04_p20220505"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"64bb5f74af3bc6dd3396d6f48a5f9a5e4ce4e8bc","committime":"2023-04-01T23:01:53","packageid":73746,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"35adc1abdd9496d6e88f54e0a4b8090ee97d018e","committime":"2023-04-01T22:54:46","packageid":73746,"repoid":1,"summary":"sci-mathematics\/easycrypt: drop old 2022.04-r1"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"7de9d171829a24726d934bacaf2acf4778e9a05f","committime":"2023-04-01T22:54:31","packageid":73746,"repoid":1,"summary":"sci-mathematics\/easycrypt: drop old 1.0_pre20220303-r1"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"dcb89895710ce9e8cdbd858121961170c34afac9","committime":"2023-04-01T22:54:13","packageid":73746,"repoid":1,"summary":"sci-mathematics\/easycrypt: bump to 2022.04_p20230324"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"2b4f317a7f1b2bfb879aa021699818fa9d20c89c","committime":"2023-02-02T18:02:00","packageid":73746,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"83f6d3ed4097525d17521208136b0f7d8890009f","committime":"2023-02-02T17:45:39","packageid":73746,"repoid":1,"summary":"sci-mathematics\/easycrypt: H -> COMMIT"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"0969191eb393098af56b89858d896357eabf3156","committime":"2022-05-07T17:03:02","packageid":73746,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"800228a625526f5b8f2029ae30eea0e9d168a274","committime":"2022-05-07T16:47:55","packageid":73746,"repoid":1,"summary":"sci-mathematics\/easycrypt: add Why3 constraints for older EC versions"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"e48f8307eb46e419d5acad13956322f79e6f9249","committime":"2022-05-07T16:46:35","packageid":73746,"repoid":1,"summary":"sci-mathematics\/easycrypt: drop old 1.0_pre20211210-r2"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"8c9c85bc0fcfdd20764d22e98bf89018864b284e","committime":"2022-05-07T16:45:43","packageid":73746,"repoid":1,"summary":"sci-mathematics\/easycrypt: bump to 2022.04_p20220505"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"af89be57ca19fe4ed42c3cff536f31cb29f807a4","committime":"2022-04-27T16:03:21","packageid":73746,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Closes: https:\/\/bugs.gentoo.org\/841254\nSigned-off-by: Maciej Barć ","commitid":"4b39c369931b1d56fd261213476167b315abea8c","committime":"2022-04-27T15:43:40","packageid":73746,"repoid":1,"summary":"sci-mathematics\/easycrypt: bump to 2022.04"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"24bec2839d0a3c0eb611743b026001bddd949ef8","committime":"2022-03-04T11:21:58","packageid":73746,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Package-Manager: Portage-3.0.30, Repoman-3.0.3\nSigned-off-by: Maciej Barć ","commitid":"60fa98b0f077135148088bfe62e484e3988089a4","committime":"2022-03-04T11:12:03","packageid":73746,"repoid":1,"summary":"sci-mathematics\/easycrypt: bump to 1.0_pre20220303 (2022.03.03 snapshot)"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"46cc083fc95c8f752a17ecbd02cfd294f4084bd1","committime":"2022-01-30T00:51:41","packageid":73746,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Package-Manager: Portage-3.0.30, Repoman-3.0.3\nSigned-off-by: Maciej Barć ","commitid":"a7fa452ea0b84128bd45f820f62f340032bbe299","committime":"2022-01-30T00:37:44","packageid":73746,"repoid":1,"summary":"sci-mathematics\/easycrypt: fix theories location; bump to EAPI 8"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"dc0ab5f1eae9510f15fa1745cc142f3cfec35ee9","committime":"2021-12-12T07:21:29","packageid":73746,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Package-Manager: Portage-3.0.28, Repoman-3.0.3\nSigned-off-by: Maciej Barć ","commitid":"9a4bc2c24c5d479fa9a5dfaccb8bde97d4434178","committime":"2021-12-12T07:12:21","packageid":73746,"repoid":1,"summary":"sci-mathematics\/easycrypt: fix ocaml dependency"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"9e642b2fe6a9ce63661616b43e40340ce24efc2d","committime":"2021-12-12T02:05:45","packageid":73746,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Package-Manager: Portage-3.0.28, Repoman-3.0.3\nSigned-off-by: Maciej Barć ","commitid":"4f0a8bfd6989606dd292287880358a0f79aa4a49","committime":"2021-12-12T01:41:39","packageid":73746,"repoid":1,"summary":"sci-mathematics\/easycrypt: new package; add version 1.0_pre20211210"}],"dependencies":[{"block":false,"categoryid":314,"description":"Perl Compatibility Regular Expressions for O'Caml","ebuildids":[831604,840165],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"pcre-ocaml","packageid":45157},{"block":false,"categoryid":314,"description":"Compressed file access ML library (ZIP, GZIP and JAR)","ebuildids":[831604,840165],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"camlzip","packageid":47766},{"block":false,"categoryid":450,"description":"Programming language supporting functional, imperative & object-oriented styles","ebuildids":[831604,831604,840165,840165],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"ocaml","packageid":49590},{"block":false,"categoryid":314,"description":"JSON parsing and pretty-printing library for OCaml","ebuildids":[831604,840165],"firstseen":"2015-02-15T14:38:09.385452","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"yojson","packageid":63076},{"block":false,"categoryid":314,"description":"Arithmetic and logic operations over arbitrary-precision integers","ebuildids":[831604,840165],"firstseen":"2015-09-20T13:38:44.780852","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"zarith","packageid":64116},{"block":false,"categoryid":314,"description":"A composable build system for OCaml","ebuildids":[831604,840165],"firstseen":"2019-07-25T19:34:21.841979","name":"dune","packageid":69971},{"block":false,"categoryid":314,"description":"Library for arbitrary-precision integer and rational arithmetic","ebuildids":[831604,840165],"firstseen":"2020-01-07T21:43:34.584399","name":"num","packageid":70574},{"block":false,"categoryid":314,"description":"A community-maintained standard library extension","ebuildids":[831604,840165],"firstseen":"2021-12-04T15:53:08.392601","name":"batteries","packageid":73702},{"block":false,"categoryid":314,"description":"Embed locations informations inside executable and libraries","ebuildids":[831604,840165],"firstseen":"2021-12-11T03:24:12.701596","name":"dune-build-info","packageid":73734},{"block":false,"categoryid":314,"description":"Embed locations informations inside executable and libraries","ebuildids":[831604,840165],"firstseen":"2021-12-11T03:24:12.701596","name":"dune-site","packageid":73735},{"block":false,"categoryid":314,"description":"A small OCaml library to read and write .ini files","ebuildids":[831604,840165],"firstseen":"2021-12-11T03:24:12.701596","name":"ocaml-inifiles","packageid":73736},{"block":false,"categoryid":317,"description":"Platform for deductive program verification","ebuildids":[831604,840165],"firstseen":"2021-12-12T02:08:52.137547","name":"why3","packageid":73747,"summary":"Why3 is a platform for deductive program verification. It provides a rich language for specification and programming, called WhyML, and relies on external theorem provers, both automated and interactive, to discharge verification conditions. Why3 comes with a standard library of logical theories (integer and real arithmetic, Boolean operations, sets and maps, etc.) and basic programming data structures (arrays, queues, hash tables, etc.). A user can write WhyML programs directly and get correct-by-construction OCaml programs through an automated extraction mechanism. WhyML is also used as an intermediate language for the verification of C, Java, or Ada programs."},{"block":false,"categoryid":314,"description":"Stream and Genlex libraries for use with Camlp4 and Camlp5","ebuildids":[831604,840165],"firstseen":"2022-04-04T17:52:23.540825","name":"camlp-streams","packageid":74733}],"depending":[],"ebuilds":[{"archs":["~amd64"],"ebuildid":840165,"firstseen":"2024-10-06T21:22:18.386984","license":"MIT","moddate":"2024-10-08T16:04:52","packageid":73746,"repoid":1,"slot":"0\/2024.09","uses":["ocamlopt"],"version":"2024.09"},{"archs":["~amd64"],"ebuildid":831604,"firstseen":"2024-07-02T16:16:45.867286","license":"MIT","moddate":"2024-10-08T16:04:52","packageid":73746,"repoid":1,"slot":"0\/2024.01","uses":["ocamlopt"],"version":"2024.01-r1"}],"masks":[],"package":{"categoryid":317,"description":"Computer-Aided Cryptographic Proofs","firstseen":"2021-12-12T02:08:52.137547","name":"easycrypt","packageid":73746,"summary":"EasyCrypt is a toolset for reasoning about relational properties of probabilistic computations with adversarial code. Its main application is the construction and verification of game-based cryptographic proofs."},"rdependencies":[{"block":false,"categoryid":314,"description":"Perl Compatibility Regular Expressions for O'Caml","ebuildids":[831604,840165],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"pcre-ocaml","packageid":45157},{"block":false,"categoryid":314,"description":"Compressed file access ML library (ZIP, GZIP and JAR)","ebuildids":[831604,840165],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"camlzip","packageid":47766},{"block":false,"categoryid":450,"description":"Programming language supporting functional, imperative & object-oriented styles","ebuildids":[831604,831604,840165,840165],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"ocaml","packageid":49590},{"block":false,"categoryid":314,"description":"JSON parsing and pretty-printing library for OCaml","ebuildids":[831604,840165],"firstseen":"2015-02-15T14:38:09.385452","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"yojson","packageid":63076},{"block":false,"categoryid":314,"description":"Arithmetic and logic operations over arbitrary-precision integers","ebuildids":[831604,840165],"firstseen":"2015-09-20T13:38:44.780852","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"zarith","packageid":64116},{"block":false,"categoryid":314,"description":"A composable build system for OCaml","ebuildids":[831604,840165],"firstseen":"2019-07-25T19:34:21.841979","name":"dune","packageid":69971},{"block":false,"categoryid":314,"description":"Library for arbitrary-precision integer and rational arithmetic","ebuildids":[831604,840165],"firstseen":"2020-01-07T21:43:34.584399","name":"num","packageid":70574},{"block":false,"categoryid":314,"description":"A community-maintained standard library extension","ebuildids":[831604,840165],"firstseen":"2021-12-04T15:53:08.392601","name":"batteries","packageid":73702},{"block":false,"categoryid":314,"description":"Embed locations informations inside executable and libraries","ebuildids":[831604,840165],"firstseen":"2021-12-11T03:24:12.701596","name":"dune-build-info","packageid":73734},{"block":false,"categoryid":314,"description":"Embed locations informations inside executable and libraries","ebuildids":[831604,840165],"firstseen":"2021-12-11T03:24:12.701596","name":"dune-site","packageid":73735},{"block":false,"categoryid":314,"description":"A small OCaml library to read and write .ini files","ebuildids":[831604,840165],"firstseen":"2021-12-11T03:24:12.701596","name":"ocaml-inifiles","packageid":73736},{"block":false,"categoryid":317,"description":"Platform for deductive program verification","ebuildids":[831604,840165],"firstseen":"2021-12-12T02:08:52.137547","name":"why3","packageid":73747,"summary":"Why3 is a platform for deductive program verification. It provides a rich language for specification and programming, called WhyML, and relies on external theorem provers, both automated and interactive, to discharge verification conditions. Why3 comes with a standard library of logical theories (integer and real arithmetic, Boolean operations, sets and maps, etc.) and basic programming data structures (arrays, queues, hash tables, etc.). A user can write WhyML programs directly and get correct-by-construction OCaml programs through an automated extraction mechanism. WhyML is also used as an intermediate language for the verification of C, Java, or Ada programs."},{"block":false,"categoryid":314,"description":"Stream and Genlex libraries for use with Camlp4 and Camlp5","ebuildids":[831604,840165],"firstseen":"2022-04-04T17:52:23.540825","name":"camlp-streams","packageid":74733}],"repos":[{"branch":"master","lastcommit":"8b6166bd0b1f40cc4195afebf907587a6c5f29ad","name":"gentoo","path":"\/usr\/portage","repoid":1,"upstream":"origin"}],"tracked":false,"urls":["https:\/\/github.com\/EasyCrypt\/easycrypt\/"],"uses":[{"defaultflag":true,"description":"Enable ocamlopt support (ocaml native code compiler) -- Produces faster programs (Warning: you have to disable\/enable it at a global scale)","isdefault":true,"use":"ocamlopt"}]}