{"bugs":[],"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":"89a167a13067ec86a9b255bfbab60d45facaa156","committime":"2025-09-25T06:20:45","packageid":68081,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Signed-off-by: Alfredo Tupone ","commitid":"a69e28c6d18a628bcaf7d7bf4e2b1d00a7a725f8","committime":"2025-09-25T06:02:24","packageid":68081,"repoid":1,"summary":"sci-mathematics\/alt-ergo: >=dev-lang\/ocaml-4.09 outdate"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"fd13df612449578f65612faa9ecbdd4789cecd4b","committime":"2025-02-15T12:48:27","packageid":68081,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Signed-off-by: Alfredo Tupone ","commitid":"0f5ec1d628b4cceacc8824032937a1319868d9ac","committime":"2025-02-15T12:31:15","packageid":68081,"repoid":1,"summary":"sci-mathematics\/alt-ergo: keyword 2.4.3-r2 for ~arm64"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"165b45dd92045660ae7a759ba5a8ec184db06c7f","committime":"2024-07-17T16:03:52","packageid":68081,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"785449be0e7877c1b02a0922ea5783c56c21bc90","committime":"2024-07-17T14:44:06","packageid":68081,"repoid":1,"summary":"sci-mathematics\/alt-ergo: remove broken live 9999"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"12e87f74163af6027c3160b767e0c7f5ef5049c3","committime":"2024-07-17T14:42:58","packageid":68081,"repoid":1,"summary":"sci-mathematics\/alt-ergo: remove zarith pin; add ocplib-simplex-0.5 pin"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"1fb96651bcbc65a9a3760fce02d8fdfc88a11a3e","committime":"2024-07-15T22:34:00","packageid":68081,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"48eef3e4c4d525ecba7612398a4b75cce74f76a6","committime":"2024-07-15T21:34:42","packageid":68081,"repoid":1,"summary":"sci-mathematics\/alt-ergo: restrict zarith version"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"106b01126aa34984043465fcbcbb682892b75b02","committime":"2023-09-22T14:16:30","packageid":68081,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"08c0ba171725865402e4419a0775830ff6b96460","committime":"2023-09-22T12:30:09","packageid":68081,"repoid":1,"summary":"sci-mathematics\/alt-ergo: drop old 2.4.2-r1"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"f38f257a704600cb9140e07518e0fb1d3460ad2d","committime":"2023-09-22T12:29:59","packageid":68081,"repoid":1,"summary":"sci-mathematics\/alt-ergo: drop old 2.4.1-r2"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"e5946a5725880734bd10ca1c434ad94a75f91d31","committime":"2023-08-16T02:31:36","packageid":68081,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"be552c8b84be7d0266658e5556b6adb1508552df","committime":"2023-08-16T02:19:43","packageid":68081,"repoid":1,"summary":"sci-mathematics\/alt-ergo: Stabilize 2.4.3 amd64, #912295"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"86d95f82ead3f4525e3e9a0f825da0fe3d5b8706","committime":"2023-06-04T13:53:05","packageid":68081,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"9403cd78844f9495e3feade4ae9348a95f8c718b","committime":"2023-06-04T13:24:37","packageid":68081,"repoid":1,"summary":"sci-mathematics\/alt-ergo: add live version"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"ba2beea8e2018c7383d0478a487acc34a28c9e1a","committime":"2023-06-04T13:23:43","packageid":68081,"repoid":1,"summary":"sci-mathematics\/alt-ergo: bump to 2.4.3"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"5cb038c4af7ca5d521e15518a051427dc8328258","committime":"2023-01-30T20:01:58","packageid":68081,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"bcea9dac5d4d8c2609135ed6e66ffd8e0b2e503c","committime":"2023-01-30T13:16:53","packageid":68081,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"324271e7906d2a0e87cadfb01105830e41cecc83","committime":"2023-01-30T13:09:33","packageid":68081,"repoid":1,"summary":"sci-mathematics\/alt-ergo: Stabilize 2.4.2-r1 amd64, #892271"},{"authoremail":"asturm@gentoo.org","authorname":"Andreas Sturmlechner","body":"2.3.0-r1 overshadowed by 2.4.1-r2\n2.4.1_p20220407-r1 overshadowed by 2.4.2-r1\n\nCloses: https:\/\/bugs.gentoo.org\/769332\nSigned-off-by: Andreas Sturmlechner ","commitid":"520acbb882cdd701e561e1c54bfa94134506c905","committime":"2023-01-27T20:30:41","packageid":68081,"repoid":1,"summary":"sci-mathematics\/alt-ergo: drop 2.3.0-r1, 2.4.1_p20220407-r1"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"b738db0665c087cd820ae245e2204348e8dfef4d","committime":"2022-11-19T21:46:44","packageid":68081,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"6e7a51ba017eb61743f30c801d61a4971f2289e4","committime":"2022-11-19T21:25:25","packageid":68081,"repoid":1,"summary":"sci-mathematics\/alt-ergo: remove seq reference from dune build file"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"338f719933c31f5254d3032f7692a44877bbd09d","committime":"2022-09-24T00:01:56","packageid":68081,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"6e80e1faa1d22ce4ad7c95092c12c9e2e758fb47","committime":"2022-09-23T23:22:40","packageid":68081,"repoid":1,"summary":"sci-mathematics\/alt-ergo: 2.4.2 - do not depend on seq"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"ee3756c2be6b30b9d013ec67459ea83a0102e519","committime":"2022-08-20T13:31:42","packageid":68081,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"e69201200146edb78b476c8e9c64c75aa59f7873","committime":"2022-08-20T13:27:22","packageid":68081,"repoid":1,"summary":"sci-mathematics\/alt-ergo: bump to 2.4.2"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"21222e4623e3289297d6bff44103e7414d27eadb","committime":"2022-06-29T18:16:39","packageid":68081,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Closes: https:\/\/bugs.gentoo.org\/849374\nPackage-Manager: Portage-3.0.30, Repoman-3.0.3\nSigned-off-by: Alfredo Tupone ","commitid":"cfa07369cb804ea360eef996a504b1297ced25cc","committime":"2022-06-29T18:05:14","packageid":68081,"repoid":1,"summary":"sci-mathematics\/alt-ergo: require ocamlopt"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"7ea3c141df39c16b8305690169f0e2aeb1d191b8","committime":"2022-06-21T02:03:42","packageid":68081,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"a74305078b85502b6813e5bb3a746e5c82dc5c55","committime":"2022-06-21T01:36:06","packageid":68081,"repoid":1,"summary":"sci-mathematics\/alt-ergo: fix OCaml dep"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"918e6bc2d5d9d70ff1b17e8327bccad1b699c54b","committime":"2022-04-15T20:19:54","packageid":68081,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"ca934dc1cd88f01044bc1a1904ac155b2c366eff","committime":"2022-04-15T19:56:00","packageid":68081,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"2022.04.07 snapshot;\nbumped to get new cmdliner dependency, added in\nhttps:\/\/github.com\/OCamlPro\/alt-ergo\/commit\/92e831bf26b6f9d1478cd263e46e1a088fea29a8\n\nSigned-off-by: Maciej Barć ","commitid":"743f7000d74f66ab38a9a5698b463d27d787b470","committime":"2022-04-15T19:44:22","packageid":68081,"repoid":1,"summary":"sci-mathematics\/alt-ergo: bump to 2.4.1_p20220407"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"https:\/\/opam.ocaml.org\/packages\/alt-ergo\/\n\nSigned-off-by: Maciej Barć ","commitid":"0c5c8ab39246ad13897d73e004882d89e6838996","committime":"2022-04-15T19:31:34","packageid":68081,"repoid":1,"summary":"sci-mathematics\/alt-ergo: depend on cmdliner <1.1.0"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"867e2d2fcda816d221c5f511f19005027f9dc2ea","committime":"2022-03-02T09:21:49","packageid":68081,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"ago@gentoo.org","authorname":"Agostino Sarubbo","body":"Package-Manager: Portage-3.0.30, Repoman-3.0.3\nRepoMan-Options: --include-arches=\"amd64\"\nSigned-off-by: Agostino Sarubbo ","commitid":"2bd5b0a43c67113f0fbfb2a126ed0c3deb13da55","committime":"2022-03-02T09:04:39","packageid":68081,"repoid":1,"summary":"sci-mathematics\/alt-ergo: amd64 stable wrt bug #834375"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"1bf286963fc77dafee62e6754640da5a7bc27fda","committime":"2021-12-28T13:51:31","packageid":68081,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Closes: https:\/\/bugs.gentoo.org\/830140\nCloses: https:\/\/bugs.gentoo.org\/830156\nPackage-Manager: Portage-3.0.28, Repoman-3.0.3\nSigned-off-by: Maciej Barć ","commitid":"b2ebfea24c268cef7c30cbea68442057993cb502","committime":"2021-12-28T13:39:49","packageid":68081,"repoid":1,"summary":"sci-mathematics\/alt-ergo: fix deps"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"acb75e991be12ec2249eda65f390ff62de590500","committime":"2021-12-28T00:07:42","packageid":68081,"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":"9c0afb6206ddcc225b50413cb8a46b8b0eded3cc","committime":"2021-12-27T23:46:50","packageid":68081,"repoid":1,"summary":"sci-mathematics\/alt-ergo: bump to 2.4.1"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"dcdec439559bd3dbf583382cda731faf9ae1e54e","committime":"2021-01-20T13:33:04","packageid":68081,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"jakov.smolic@sartura.hr","authorname":"Jakov Smolic","body":"Signed-off-by: Jakov Smolic \nSigned-off-by: David Seifert ","commitid":"f0fce4e903158e909d2fb9a83a973df39e576c30","committime":"2021-01-20T10:15:31","packageid":68081,"repoid":1,"summary":"sci-mathematics\/alt-ergo: Remove old"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"4257aab25df136dbec985d65c42e775bbc84d4d9","committime":"2021-01-17T05:03:05","packageid":68081,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"We need to have ocamlopt on\/off consistently\nthroughout the system, so use the '=' operator\nto force it off where it's disabled on this package.\n\nPackage-Manager: Portage-3.0.12.0.2-prefix, Repoman-3.0.2\nSigned-off-by: Sam James ","commitid":"59bc55e46efc021a7f4ca8c6a2da452a347fae4f","committime":"2021-01-17T03:56:38","packageid":68081,"repoid":1,"summary":"sci-mathematics\/alt-ergo: enforce ocamlopt="},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"We need subslot deps on any OCaml (R)DEPENDs because\nwe must be rebuilt when they update, for consistency.\n\nPackage-Manager: Portage-3.0.12.0.2-prefix, Repoman-3.0.2\nSigned-off-by: Sam James ","commitid":"16a28ad1361c0a6cbf5198a228a18fb1332b1d9e","committime":"2021-01-17T03:55:50","packageid":68081,"repoid":1,"summary":"sci-mathematics\/alt-ergo: add subslot deps for OCaml"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Only supports lablgtk:2 for now.\n\nSee: https:\/\/github.com\/OCamlPro\/alt-ergo\/issues\/246\nPackage-Manager: Portage-3.0.12.0.2-prefix, Repoman-3.0.2\nSigned-off-by: Sam James ","commitid":"a5355e9de60005120f37c4be8e228a3136a548f9","committime":"2021-01-17T03:54:38","packageid":68081,"repoid":1,"summary":"sci-mathematics\/alt-ergo: fix MissingSlotDep in older version"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"8389442b99eb23642b347c659a37e2383c3e775e","committime":"2020-12-05T18:35:22","packageid":68081,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Bug: https:\/\/bugs.gentoo.org\/758638\nPackage-Manager: Portage-3.0.9, Repoman-3.0.2\nSigned-off-by: Alfredo Tupone ","commitid":"437b9b6b58591e7832b67a34c2c7af129daad744","committime":"2020-12-05T18:26:32","packageid":68081,"repoid":1,"summary":"sci-mathematics\/alt-ergo: depend only on lablgtk:2"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"56108a7ba72d431882e6e8a693c9ba045a7ddda7","committime":"2020-12-05T09:05:24","packageid":68081,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Closes: https:\/\/bugs.gentoo.org\/758245\nPackage-Manager: Portage-3.0.9, Repoman-3.0.2\nSigned-off-by: Alfredo Tupone ","commitid":"9e4d2e352636cbdabaa4f6620b4145d9d04fa74d","committime":"2020-12-05T08:41:28","packageid":68081,"repoid":1,"summary":"sci-mathematics\/alt-ergo: fix dependency"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"26af6f6e3e26a6a5bc73e6bfd02e66e46ad52563","committime":"2020-05-27T06:07:06","packageid":68081,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Closes: https:\/\/bugs.gentoo.org\/725558\nPackage-Manager: Portage-2.3.99, Repoman-2.3.22\nSigned-off-by: Alfredo Tupone ","commitid":"e2e4fb52038914439a3ff85bfa3d8486fc2be04d","committime":"2020-05-27T05:46:51","packageid":68081,"repoid":1,"summary":"sci-mathematics\/alt-ergo: better fix for QA_FLAGS_IGNORED"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"8a1f22fcee286dfae35f376173e13aa892f4df66","committime":"2020-05-25T22:35:15","packageid":68081,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"whissi@gentoo.org","authorname":"Thomas Deutschmann","body":"Package-Manager: Portage-2.3.100, Repoman-2.3.22\nSigned-off-by: Thomas Deutschmann ","commitid":"6261c9c2649d9ab7f2823f9db2b46a9f7e60acdf","committime":"2020-05-25T21:58:00","packageid":68081,"repoid":1,"summary":"sci-mathematics\/alt-ergo: fix QA_FLAGS_IGNORED"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"27c5674750450ce87cb53480f58eea68f981dc77","committime":"2020-05-25T17:35:23","packageid":68081,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Closes: https:\/\/bugs.gentoo.org\/716416\nPackage-Manager: Portage-2.3.99, Repoman-2.3.22\nSigned-off-by: Alfredo Tupone ","commitid":"5adc972cfb26d6e8e3bd18c8c12b7adda31739a5","committime":"2020-05-25T17:01:22","packageid":68081,"repoid":1,"summary":"sci-mathematics\/alt-ergo: fix dependency"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"5345e56bd283974211e7cbe698bc6c1b8f31103e","committime":"2020-03-10T22:06:38","packageid":68081,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Tupone Alfredo","body":"Closes: https:\/\/bugs.gentoo.org\/712032\nPackage-Manager: Portage-2.3.89, Repoman-2.3.20\nSigned-off-by: Alfredo Tupone ","commitid":"9dc3663a2ba8a9a84fa283d166e91a249ab65d2b","committime":"2020-03-10T21:37:53","packageid":68081,"repoid":1,"summary":"sci-mathematics\/alt-ergo: fix build with ocaml-4.09"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"60e6a17afc6141326633af7cbf0fc881f79a3043","committime":"2019-10-28T21:25:37","packageid":68081,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Tupone Alfredo","body":"Closes: https:\/\/bugs.gentoo.org\/692252\nPackage-Manager: Portage-2.3.76, Repoman-2.3.16\nSigned-off-by: Alfredo Tupone ","commitid":"e254824ef44e703f59e5f918d44802a7d85d1348","committime":"2019-10-28T21:15:02","packageid":68081,"repoid":1,"summary":"sci-mathematics\/alt-ergo: add dev-ml\/seq dependency"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"60964b314562451bbf16c2e4588e9934515bf9f1","committime":"2019-10-21T18:45:30","packageid":68081,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Tupone Alfredo","body":"Package-Manager: Portage-2.3.69, Repoman-2.3.16\nSigned-off-by: Alfredo Tupone ","commitid":"70cc32b67e809c86637547ecd658dd68c6321a93","committime":"2019-10-21T18:32:21","packageid":68081,"repoid":1,"summary":"sci-mathematics\/alt-ergo: stable"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"48da5d2f69ccfa795e04cd0e9881736de46da592","committime":"2019-09-12T06:25:36","packageid":68081,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Tupone Alfredo","body":"Package-Manager: Portage-2.3.69, Repoman-2.3.16\nSigned-off-by: Alfredo Tupone ","commitid":"2645610b9a3fbdfb443866177a6d5b38148c3197","committime":"2019-09-12T06:15:02","packageid":68081,"repoid":1,"summary":"sci-mathematics\/alt-ergo: fix BadInsIntoDir warning"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"46b52d59e68f5dadc79ddf2f82753fec8f2bcdd8","committime":"2019-09-07T14:45:30","packageid":68081,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Tupone Alfredo","body":"Closes: https:\/\/bugs.gentoo.org\/692252\nPackage-Manager: Portage-2.3.69, Repoman-2.3.16\nSigned-off-by: Alfredo Tupone ","commitid":"00a5f9717c89acdd260785e4133b45aff247bbbd","committime":"2019-09-07T14:38:58","packageid":68081,"repoid":1,"summary":"sci-mathematics\/alt-ergo: fix build"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"fb678e0fdfc01c28ef917d15650f508cbb082ab0","committime":"2019-07-27T19:07:17","packageid":68081,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Tupone Alfredo","body":"Package-Manager: Portage-2.3.66, Repoman-2.3.16\nSigned-off-by: Alfredo Tupone ","commitid":"225867b2a2585985159c833ba3d819e35da1860e","committime":"2019-07-27T18:41:54","packageid":68081,"repoid":1,"summary":"sci-mathematics\/alt-ergo: bump to 2.3.0"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"8a6dcb072e49bd9ea2ae6beb44782dcf3207abb8","committime":"2019-07-25T06:29:11","packageid":68081,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Tupone Alfredo","body":"Signed-off-by: Alfredo Tupone \nPackage-Manager: Portage-2.3.66, Repoman-2.3.11","commitid":"aa21f8d2b5b8b28a1e69d78c29fd5c0e0996f7a0","committime":"2019-07-25T06:17:03","packageid":68081,"repoid":1,"summary":"sci-mathematics\/alt-ergo: Fix dependency"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"3c3c72e67b8d202e0837d301e69d187c22468fc1","committime":"2018-12-16T08:43:55","packageid":68081,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Tupone Alfredo","body":"Signed-off-by: Alfredo Tupone \nPackage-Manager: Portage-2.3.51, Repoman-2.3.11","commitid":"d902d1e13ffa95aed2b7e797e859c56ed0a67495","committime":"2018-12-16T08:35:29","packageid":68081,"repoid":1,"summary":"sci-mathematics\/alt-ergo: Stable release"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"c2cafd88d03c17396bf4f4338185d0938a5c71cd","committime":"2018-06-02T22:44:08","packageid":68081,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"m.mairkeimberger@gmail.com","authorname":"Michael Mair-Keimberger","commitid":"a04371ceca8c5a7ccd9083b5d4da4647a07d21c4","committime":"2018-06-02T21:05:41","packageid":68081,"repoid":1,"summary":"sci-mathematics\/alt-ergo: use HTTPs"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"e9d0d45202ce1fd4f537faeb8e53d16f48b433bd","committime":"2017-10-14T07:03:34","packageid":68081,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Tupone Alfredo","body":"Package-Manager: Portage-2.3.8, Repoman-2.3.3","commitid":"ebe231de790ad2672cfb20daaaa50d2789fb5e11","committime":"2017-10-14T06:58:53","packageid":68081,"repoid":1,"summary":"sci-mathematics\/alt-ergo: Adding alt-ergo 1.30"}],"dependencies":[{"block":false,"categoryid":314,"description":"OCaml bindings to GTK-3","ebuildids":[876928],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"lablgtk","packageid":43080},{"block":false,"categoryid":314,"description":"Compressed file access ML library (ZIP, GZIP and JAR)","ebuildids":[876928],"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":[876928],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"ocaml","packageid":49590},{"block":false,"categoryid":314,"description":"LR(1) parser generator for the OCaml language","ebuildids":[876928],"firstseen":"2013-02-08T14:36:53.188287","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"menhir","packageid":60329},{"block":false,"categoryid":314,"description":"Declarative definition of command line interfaces for OCaml","ebuildids":[876928],"firstseen":"2014-10-29T14:38:07.804099","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"cmdliner","packageid":62739},{"block":false,"categoryid":314,"description":"Arithmetic and logic operations over arbitrary-precision integers","ebuildids":[876928],"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 library implementing a simplex algorithm","ebuildids":[876928],"firstseen":"2017-10-12T18:48:54.473910","name":"ocplib-simplex","packageid":68076,"summary":"A library implementing a simplex algorithm, in a functional style, for solving systems of linear inequalities"},{"block":false,"categoryid":314,"description":"A composable build system for OCaml","ebuildids":[876928],"firstseen":"2019-07-25T19:34:21.841979","name":"dune","packageid":69971},{"block":false,"categoryid":317,"description":"Library to parse and type-check an extension of the SMT-LIB 2 standard","ebuildids":[876928],"firstseen":"2019-07-26T07:18:04.713000","name":"psmt2-frontend","packageid":69972,"summary":"psmt2-frontend is an OCaml library to parse and type-check a conservative extension of the SMT-LIB 2 standard with prenex polymorphism."},{"block":false,"categoryid":314,"description":"Library for arbitrary-precision integer and rational arithmetic","ebuildids":[876928],"firstseen":"2020-01-07T21:43:34.584399","name":"num","packageid":70574},{"block":false,"categoryid":314,"description":"Pure OCaml library that allows replacing Pervasives with Stdlib before 4.08","ebuildids":[876928],"firstseen":"2020-06-24T11:44:15.510889","name":"stdlib-shims","packageid":71241,"summary":"Compatibility library for OCaml compilers before 4.08 to allow calling Pervasives module functions on Stdlib, which is the API in newer compilers. Does not add newer Stdlib functions."},{"block":false,"categoryid":314,"description":"OCaml bindings to GTK-3","ebuildids":[876928],"firstseen":"2020-10-13T14:25:05.132759","name":"lablgtk-sourceview","packageid":72099}],"depending":[{"block":false,"categoryid":450,"description":"Software development for high-reliability applications","ebuildids":[854617,854617],"firstseen":"2017-10-21T19:07:57.494219","name":"spark","packageid":68098,"summary":"SPARK is a software development technology specifically designed for engineering high-reliability applications. It consists of a programming language, a verification toolset and a design method which, taken together, ensure that ultra-low defect software can be deployed in application domains where high-reliability must be assured, for example where safety and security are key requirements."}],"ebuilds":[{"archs":["amd64","~arm64"],"ebuildid":876928,"firstseen":"2025-09-25T07:35:06.856508","license":"CeCILL-C","moddate":"2026-03-29T19:42:48","packageid":68081,"repoid":1,"slot":"0\/2.4.3","uses":["examples","gui","ocamlopt"],"version":"2.4.3-r3"}],"masks":[],"package":{"categoryid":317,"description":"Automatic theorem prover","firstseen":"2017-10-14T07:25:18.254331","name":"alt-ergo","packageid":68081,"summary":"Alt-Ergo is an open-source automatic solver of mathematical formulas designed for program verification. It is based on Satisfiability Modulo Theories (SMT). Solvers of this family have made impressive advances and became very popular during the last decade. They are now used is various domains such as hardware design, software verification and formal testing."},"rdependencies":[{"block":false,"categoryid":314,"description":"OCaml bindings to GTK-3","ebuildids":[876928],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"lablgtk","packageid":43080},{"block":false,"categoryid":314,"description":"Compressed file access ML library (ZIP, GZIP and JAR)","ebuildids":[876928],"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":[876928],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"ocaml","packageid":49590},{"block":false,"categoryid":314,"description":"LR(1) parser generator for the OCaml language","ebuildids":[876928],"firstseen":"2013-02-08T14:36:53.188287","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"menhir","packageid":60329},{"block":false,"categoryid":314,"description":"Declarative definition of command line interfaces for OCaml","ebuildids":[876928],"firstseen":"2014-10-29T14:38:07.804099","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"cmdliner","packageid":62739},{"block":false,"categoryid":314,"description":"Arithmetic and logic operations over arbitrary-precision integers","ebuildids":[876928],"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 library implementing a simplex algorithm","ebuildids":[876928],"firstseen":"2017-10-12T18:48:54.473910","name":"ocplib-simplex","packageid":68076,"summary":"A library implementing a simplex algorithm, in a functional style, for solving systems of linear inequalities"},{"block":false,"categoryid":314,"description":"A composable build system for OCaml","ebuildids":[876928],"firstseen":"2019-07-25T19:34:21.841979","name":"dune","packageid":69971},{"block":false,"categoryid":317,"description":"Library to parse and type-check an extension of the SMT-LIB 2 standard","ebuildids":[876928],"firstseen":"2019-07-26T07:18:04.713000","name":"psmt2-frontend","packageid":69972,"summary":"psmt2-frontend is an OCaml library to parse and type-check a conservative extension of the SMT-LIB 2 standard with prenex polymorphism."},{"block":false,"categoryid":314,"description":"Library for arbitrary-precision integer and rational arithmetic","ebuildids":[876928],"firstseen":"2020-01-07T21:43:34.584399","name":"num","packageid":70574},{"block":false,"categoryid":314,"description":"Pure OCaml library that allows replacing Pervasives with Stdlib before 4.08","ebuildids":[876928],"firstseen":"2020-06-24T11:44:15.510889","name":"stdlib-shims","packageid":71241,"summary":"Compatibility library for OCaml compilers before 4.08 to allow calling Pervasives module functions on Stdlib, which is the API in newer compilers. Does not add newer Stdlib functions."},{"block":false,"categoryid":314,"description":"OCaml bindings to GTK-3","ebuildids":[876928],"firstseen":"2020-10-13T14:25:05.132759","name":"lablgtk-sourceview","packageid":72099}],"repos":[{"branch":"master","lastcommit":"52197549fd3431fa256b8edbafdcd3702dd0e134","name":"gentoo","path":"\/usr\/portage","repoid":1,"upstream":"origin"}],"tracked":false,"urls":["https:\/\/alt-ergo.ocamlpro.com","https:\/\/github.com\/OCamlPro\/alt-ergo\/"],"uses":[{"description":"Install examples, usually source code","isdefault":false,"use":"examples"},{"description":"Enable support for a graphical user interface","isdefault":false,"use":"gui"},{"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"}]}