{"bugs":[],"categories":[{"categoryid":422,"name":"app-misc","summary":"The app-misc category contains various miscellaneous application packages which don't belong anywhere else."},{"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":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":"577f4ed2a7f05e027634e2b45b4e3b07b2b74185","committime":"2024-10-15T15:33:17","packageid":64116,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"72c164c7b5550468cdcaeafabcfe657d1f6bdb9d","committime":"2024-10-15T15:24:45","packageid":64116,"repoid":1,"summary":"dev-ml\/zarith: Stabilize 1.14 x86, #941576"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"85eefc00eabcbeda0100d4a5165bb5e6105c6c22","committime":"2024-10-15T15:24:13","packageid":64116,"repoid":1,"summary":"dev-ml\/zarith: Stabilize 1.14 amd64, #941576"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"4722e66fb4601fd668c7a480720bc2781fcf5b7c","committime":"2024-07-15T13:48:56","packageid":64116,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Signed-off-by: Alfredo Tupone ","commitid":"6740af41c7496a1b02ac4f92be10cb0ca1e58ab1","committime":"2024-07-15T13:44:46","packageid":64116,"repoid":1,"summary":"dev-ml\/zarith: update EAPI 7 -> 8"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Signed-off-by: Alfredo Tupone ","commitid":"ac1cc2e236cdae99f82232b00fafb0ae0b58ce91","committime":"2024-07-15T13:42:36","packageid":64116,"repoid":1,"summary":"dev-ml\/zarith: add 1.14"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"c4030246d28d0bffb640a2fd152bb478e339dced","committime":"2024-03-01T05:03:46","packageid":64116,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"eschwartz93@gmail.com","authorname":"Eli Schwartz","body":"Removes last use case of \"mpir\" USE flag, so purge it from metadata.xml.\n\nAlso purge it from profiles\/ where it was, naturally, masked. The\nultimate masking is to remove the USE flag.\n\nSigned-off-by: Eli Schwartz \nSigned-off-by: Sam James ","commitid":"dff6d06519b48fbca5773c037c178012c3587cd5","committime":"2024-03-01T04:23:03","packageid":64116,"repoid":1,"summary":"dev-ml\/zarith: drop old"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"79abae840f5c66526fc451a84966a9a07ebc1c30","committime":"2024-03-01T04:18:56","packageid":64116,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"88fc9fc044aaf8c2b4bf8b27e0e38751f9cd2318","committime":"2024-03-01T04:00:29","packageid":64116,"repoid":1,"summary":"dev-ml\/zarith: Stabilize 1.13 amd64, #924580"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"cde32fbed60dd4e7d39977829c27ff6fc9e821a6","committime":"2024-03-01T00:03:59","packageid":64116,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"eschwartz93@gmail.com","authorname":"Eli Schwartz","body":"mpir is an ancient fork of gmp from 2017. It claims to be focused on\nspeed. It doesn't build with modern compilers due to Modern C issues,\nand it fails to build with LTO as well. Unlike gmp, this will never be\nfixed.\n\nBug: https:\/\/bugs.gentoo.org\/812950\nSigned-off-by: Eli Schwartz \nSigned-off-by: Sam James ","commitid":"a8c2b35f50a01d401be9c29abe6d720804ebbe44","committime":"2024-02-29T23:39:22","packageid":64116,"repoid":1,"summary":"dev-ml\/zarith: remove support for mpir USE flag"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"d0dbe140f67a9edd0f1fe7e2e31210e08b72fa6f","committime":"2024-02-14T20:03:54","packageid":64116,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"de0c736bd0e5296e2c02f811a26a35cd28b0a970","committime":"2024-02-14T19:47:04","packageid":64116,"repoid":1,"summary":"dev-ml\/zarith: Stabilize 1.13 x86, #924580"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"106b01126aa34984043465fcbcbb682892b75b02","committime":"2023-09-22T14:16:30","packageid":64116,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"f3fc9a9d1d2dfd56cdfa94c8d7c32f07181b5603","committime":"2023-09-22T12:47:08","packageid":64116,"repoid":1,"summary":"dev-ml\/zarith: bump to 1.13"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"6f1355cec411b3790037afc3ec82942580f02348","committime":"2023-01-25T22:02:13","packageid":64116,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Closes: https:\/\/bugs.gentoo.org\/881129\nSigned-off-by: Alfredo Tupone ","commitid":"89d0f9d2d7c603f9e8dc44530539d970b332a62e","committime":"2023-01-25T21:59:27","packageid":64116,"repoid":1,"summary":"dev-ml\/zarith: fix make"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"f39b36bda30e9a806f6c990ca3621fd693f54c28","committime":"2022-03-03T21:36:55","packageid":64116,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James \nSigned-off-by: David Seifert ","commitid":"0ca0b42dbca8c78959a9067df3d432e2dea359e5","committime":"2022-03-03T21:19:21","packageid":64116,"repoid":1,"summary":"dev-ml\/zarith: destabilise for ppc"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"d305b9fff76e22a4d60dc3c7e58bb25776fc2c64","committime":"2021-09-12T19:21:18","packageid":64116,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Package-Manager: Portage-3.0.20, Repoman-3.0.3\nSigned-off-by: Alfredo Tupone ","commitid":"8dee2571f459deb35c9745186a38dc72361aa4e9","committime":"2021-09-12T19:10:57","packageid":64116,"repoid":1,"summary":"dev-ml\/zarith: remove old"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"e8249d4d9d79e6d3369c747682a7d6b6e22801f5","committime":"2021-09-12T12:36:15","packageid":64116,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Package-Manager: Portage-3.0.20, Repoman-3.0.3\nSigned-off-by: Alfredo Tupone ","commitid":"6ab7f907e2687bab0295ad09a73260ca5d22b78a","committime":"2021-09-12T12:20:29","packageid":64116,"repoid":1,"summary":"dev-ml\/zarith: VariableScope"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"e1fafa06ef8cbb6fac70f2fbdcc3d4c30d11f389","committime":"2021-04-18T21:34:59","packageid":64116,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"8b28bdc0782a25d566a269c2822117c9af04dbbf","committime":"2021-04-18T21:23:54","packageid":64116,"repoid":1,"summary":"dev-ml\/zarith: Stabilize 1.12 x86, #783585"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"dc89aa6fa799f1654dd39b107dddfc4ab6445a0a","committime":"2021-04-18T07:07:04","packageid":64116,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"b205fb612c148fdc44e78422912cc75d08accdfe","committime":"2021-04-18T06:48:35","packageid":64116,"repoid":1,"summary":"dev-ml\/zarith: Stabilize 1.12 ppc, #783585"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"74aa508491313aa970b6014abc081bd7fa65fd26","committime":"2021-04-18T06:46:12","packageid":64116,"repoid":1,"summary":"dev-ml\/zarith: Stabilize 1.12 amd64, #783585"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"7874f3e8c02b767a5ea953cde1acda08a30df035","committime":"2021-03-15T04:21:06","packageid":64116,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"e9910cd54392332f207346cfaab937cbf8c5ca41","committime":"2021-03-15T03:11:12","packageid":64116,"repoid":1,"summary":"dev-ml\/zarith: drop 1.7, 1.9.1, 1.10"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"6ac2f5ba47bd298e449c54b69f110f0926ad5615","committime":"2021-03-03T14:36:58","packageid":64116,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"91b9c6d4bacb75bc1d68fb92e384252683e9e678","committime":"2021-03-03T14:22:17","packageid":64116,"repoid":1,"summary":"dev-ml\/zarith: bump to 1.12"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"13114eca23588c918bdd7415d31980dcf6d493b4","committime":"2021-02-26T09:52:03","packageid":64116,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"ago@gentoo.org","authorname":"Agostino Sarubbo","body":"Package-Manager: Portage-3.0.13, Repoman-3.0.2\nRepoMan-Options: --include-arches=\"amd64\"\nSigned-off-by: Agostino Sarubbo ","commitid":"0658da5dc99f98404eb23a5fad2846027e917fb9","committime":"2021-02-26T09:39:09","packageid":64116,"repoid":1,"summary":"dev-ml\/zarith: amd64 stable wrt bug #772842"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"f148862c6f95bfc09cc7c20d25876350938d9456","committime":"2021-02-26T08:22:03","packageid":64116,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"ago@gentoo.org","authorname":"Agostino Sarubbo","body":"Package-Manager: Portage-3.0.13, Repoman-3.0.2\nRepoMan-Options: --include-arches=\"x86\"\nSigned-off-by: Agostino Sarubbo ","commitid":"10400514b19cd4be1ab30069a0c5f4e80c7e60a9","committime":"2021-02-26T08:07:53","packageid":64116,"repoid":1,"summary":"dev-ml\/zarith: x86 stable wrt bug #772842"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"8f1be30369b1817be1147fd882115a12b095f65b","committime":"2021-02-25T07:52:11","packageid":64116,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"26bc09fb1a209b988a7c863e485244fac5610084","committime":"2021-02-25T07:33:05","packageid":64116,"repoid":1,"summary":"dev-ml\/zarith: Stabilize 1.11 ppc, #772842"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"e2d770886b58799a44bf66e4f0ec627ea57f5a38","committime":"2021-01-11T23:35:02","packageid":64116,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"* Add subslot dep (:=) on sys-libs\/mpir because\n it exposes a subslot\n\n* Drop multilib.eclass, we don't need it for\n get_libdir for a few EAPIs now.\n\n* Inherit toolchain-funcs to avoid indirect\n inheritance through multilib, though.\n\n* Use RESTRICT to only allow tests when USE=ocamlopt\n\n* Use [ocamlopt=] dep because we need ocamlopt to be\n entirely aligned on\/off, whereas [ocamlopt?] will\n only set it on, not force it off in the negative\n case\n\nPackage-Manager: Portage-3.0.12, Repoman-3.0.2\nSigned-off-by: Sam James ","commitid":"b0742694a6a835cd121ae5f5eb523240d95f329f","committime":"2021-01-11T23:02:46","packageid":64116,"repoid":1,"summary":"dev-ml\/zarith: bump to 1.11"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"26c6826c0d85e38772ff9f0dc4e03dc5ad2977f7","committime":"2020-11-01T11:35:09","packageid":64116,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"1094671f593a26f7ddc98d95a4ae94dd3bbcbfe3","committime":"2020-11-01T11:23:57","packageid":64116,"repoid":1,"summary":"dev-ml\/zarith: Stabilize 1.9.1 amd64, #737156"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"ea1125e92bbf7f424a67ef88854cadf0f98d63b0","committime":"2020-10-26T07:35:16","packageid":64116,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Closes: https:\/\/bugs.gentoo.org\/749699\nPackage-Manager: Portage-3.0.8, Repoman-3.0.2\nSigned-off-by: Alfredo Tupone ","commitid":"5d0f42b07ad9f67f83f810c327605c21a47abf49","committime":"2020-10-26T07:12:52","packageid":64116,"repoid":1,"summary":"dev-ml\/zarith: version bump to 1.10"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"e33542df7bb42a8da076e4767d1fbb923ffaceb9","committime":"2020-10-25T23:35:15","packageid":64116,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"whissi@gentoo.org","authorname":"Thomas Deutschmann","body":"Package-Manager: Portage-3.0.8, Repoman-3.0.2\nSigned-off-by: Thomas Deutschmann ","commitid":"3e4e155a442abea4dabd1f142bfe9ee61ad7b0b7","committime":"2020-10-25T23:19:11","packageid":64116,"repoid":1,"summary":"dev-ml\/zarith: x86 stable (bug #737156)"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"ffd73f96f27d530cb7da0661a24a1abfa5d85a83","committime":"2020-10-22T14:05:17","packageid":64116,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"da09da8c2a4adcfddef466e329a78723e30f1d6b","committime":"2020-10-22T13:57:32","packageid":64116,"repoid":1,"summary":"dev-ml\/zarith: Keyword 1.9.1 arm, #748576"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"a56d7e6d3ca235952726366a963c733c6771c214","committime":"2020-10-22T13:55:05","packageid":64116,"repoid":1,"summary":"dev-ml\/zarith: Keyword 1.9.1 arm64, #748576"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"ed89396e99ccd7eec52828dda6fff26b0d2ee497","committime":"2020-09-07T08:35:20","packageid":64116,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"slyfox@gentoo.org","authorname":"Sergei Trofimovich","body":"stable wrt bug #737700\n\nPackage-Manager: Portage-3.0.5, Repoman-3.0.1\nRepoMan-Options: --include-arches=\"ppc\"\nSigned-off-by: Sergei Trofimovich ","commitid":"1a485d2249f4817720275d030197c2834afe1735","committime":"2020-09-07T08:09:19","packageid":64116,"repoid":1,"summary":"dev-ml\/zarith: stable 1.9.1 for ppc"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"4fc7f3f7a29880401285392237ce732814d8e7a7","committime":"2020-05-17T16:35:19","packageid":64116,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Closes: https:\/\/bugs.gentoo.org\/723144\nPackage-Manager: Portage-2.3.99, Repoman-2.3.22\nSigned-off-by: Alfredo Tupone ","commitid":"12b6184ba9075cb777ec8329a7541f4682509074","committime":"2020-05-17T16:00:24","packageid":64116,"repoid":1,"summary":"dev-ml\/zarith: using AR"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"6ae2c24ce0590e59586cdabf11bfe8481c6e30bf","committime":"2020-03-27T13:07:43","packageid":64116,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Tupone Alfredo","body":"Package-Manager: Portage-2.3.89, Repoman-2.3.20\nSigned-off-by: Alfredo Tupone ","commitid":"73876a2b12f1954194ffe5809b8ef7b006d9c007","committime":"2020-03-27T12:50:36","packageid":64116,"repoid":1,"summary":"dev-ml\/zarith: remove old versions"},{"authoremail":"tupone@gentoo.org","authorname":"Tupone Alfredo","body":"Closes: https:\/\/bugs.gentoo.org\/648982\nPackage-Manager: Portage-2.3.89, Repoman-2.3.20\nSigned-off-by: Alfredo Tupone ","commitid":"1a85a3eea7ae7bb021648ed9c274d0df7af4b87a","committime":"2020-03-27T12:39:26","packageid":64116,"repoid":1,"summary":"dev-ml\/zarith: require a newer version of ocaml"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"76b1be606f0a6d23c8cab69d0ec27f15ecbdfd0f","committime":"2020-02-17T18:36:42","packageid":64116,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Tupone Alfredo","body":"Package-Manager: Portage-2.3.84, Repoman-2.3.20\nSigned-off-by: Alfredo Tupone ","commitid":"1700ee5bc2edd42a42be6c12472b319c1ad8e995","committime":"2020-02-17T18:19:53","packageid":64116,"repoid":1,"summary":"dev-ml\/zarith: Version bump to 1.9.1"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"29dd4a6bbb228c896bfa5930f96f8176768e0875","committime":"2018-12-15T09:24:00","packageid":64116,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"zlogene@gentoo.org","authorname":"Mikle Kolyada","body":"Signed-off-by: Mikle Kolyada \nPackage-Manager: Portage-2.3.51, Repoman-2.3.11","commitid":"2c737a7277a73f69bbd2e8542d32ab2e24fc6285","committime":"2018-12-15T09:17:51","packageid":64116,"repoid":1,"summary":"dev-ml\/zarith: amd64 stable wrt bug #672444"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"f8e9850a64ba56928d23a1dd5cd6d44c09781283","committime":"2017-10-17T06:23:29","packageid":64116,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"aballier@gentoo.org","authorname":"Alexis Ballier","body":"Package-Manager: Portage-2.3.11, Repoman-2.3.3","commitid":"be838881d41aeb8a0be7b032a22cc9121e72ea7b","committime":"2017-10-17T05:52:48","packageid":64116,"repoid":1,"summary":"dev-ml\/zarith: bump to 1.7"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"962a735a523122df62c748300efcc10ca659f8ed","committime":"2017-09-28T09:21:48","packageid":64116,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"aballier@gentoo.org","authorname":"Alexis Ballier","body":"Package-Manager: Portage-2.3.10, Repoman-2.3.3","commitid":"34e39758c102fa0d6c0e30585d8071f5417d1fd1","committime":"2017-09-28T08:41:07","packageid":64116,"repoid":1,"summary":"dev-ml\/zarith: bump to 1.6"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"42a5ef95941f05b2251276c1bbdcacc16bed338d","committime":"2017-09-10T18:23:23","packageid":64116,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"slyfox@gentoo.org","authorname":"Sergei Trofimovich","body":"Package-Manager: Portage-2.3.8, Repoman-2.3.3\nRepoMan-Options: --include-arches=\"ppc\"","commitid":"917f8641b73698d22f87a09d80fe80324ed571cd","committime":"2017-09-10T18:00:34","packageid":64116,"repoid":1,"summary":"dev-ml\/zarith: keyworded 1.5 for ppc, bug #596862"},{"authoremail":"slyfox@gentoo.org","authorname":"Sergei Trofimovich","body":"Package-Manager: Portage-2.3.8, Repoman-2.3.3\nRepoMan-Options: --include-arches=\"ppc\"","commitid":"2028fa0467f02d25ef38c4999864dee520b34793","committime":"2017-09-10T17:59:24","packageid":64116,"repoid":1,"summary":"dev-ml\/zarith: keyworded 1.4.1 for ppc, bug #596862"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"04fae7d70ab6b66ce00b148d339ef9c273d0ab6c","committime":"2017-07-09T08:24:01","packageid":64116,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"aballier@gentoo.org","authorname":"Alexis Ballier","body":"Package-Manager: Portage-2.3.6, Repoman-2.3.2","commitid":"2cb38bc42a2d5cea1a1fa428916aa0c0641d145f","committime":"2017-07-09T08:20:00","packageid":64116,"repoid":1,"summary":"dev-ml\/zarith: Skip tests when not building native code, they require it. Bug #624292"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"993f78f0f148ae6e389dc7494c74fdd6a1ad2b3a","committime":"2017-05-26T14:02:04","packageid":64116,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"aballier@gentoo.org","authorname":"Alexis Ballier","body":"Package-Manager: Portage-2.3.6, Repoman-2.3.2","commitid":"e099a1ee8d0bd25f3563e24459919f6d8a34575a","committime":"2017-05-26T13:50:47","packageid":64116,"repoid":1,"summary":"dev-ml\/zarith: Bump to 1.5"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"25093d6359f778b8d1052f66ba9e26fc29ded21a","committime":"2017-02-28T20:35:29","packageid":64116,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"robbat2@gentoo.org","authorname":"Robin H. Johnson","body":"Signed-off-by: Robin H. Johnson ","commitid":"61b861acd7b49083dab687e133f30f3331cb7480","committime":"2017-02-28T19:47:27","packageid":64116,"repoid":1,"summary":"Drop $Id$ per council decision in bug #611234."},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"fca24d681e092086a5e8523741e2034d397db0d4","committime":"2017-02-23T01:22:01","packageid":64116,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"bircoph@gentoo.org","authorname":"Andrew Savchenko","body":"Keyword on ~x86.\n\nPackage-Manager: Portage-2.3.3, Repoman-2.3.1\nSigned-off-by: Andrew Savchenko ","commitid":"174a2461ec2cf1f3330bfa3d4933cc612246cc2f","committime":"2017-02-23T01:14:17","packageid":64116,"repoid":1,"summary":"dev-ml\/zarith: fix bug 585026"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"c5b810cd84e7c6d0186be901d4102a03510c3efe","committime":"2016-02-07T16:21:47","packageid":64116,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"aballier@gentoo.org","authorname":"Alexis Ballier","body":"Package-Manager: portage-2.2.27\nSigned-off-by: Alexis Ballier ","commitid":"d18dbc9ed127be8f0c542f42dab5088b514a7308","committime":"2016-02-07T16:07:21","packageid":64116,"repoid":1,"summary":"dev-ml\/zarith: remove old"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"e600b9bee88ba4ae3ecc5f0461c47afd593ffad6","committime":"2015-11-12T18:41:58","packageid":64116,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"aballier@gentoo.org","authorname":"Alexis Ballier","body":"Package-Manager: portage-2.2.24\nSigned-off-by: Alexis Ballier ","commitid":"f00d9bbdb0e02502c19f7d625f85f6086da30782","committime":"2015-11-12T18:30:28","packageid":64116,"repoid":1,"summary":"dev-ml\/zarith: bump to 1.4.1"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"05f5802c3cf12c35ca1405a6c27284bfc2b06cee","committime":"2015-11-05T09:02:09","packageid":64116,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"aballier@gentoo.org","authorname":"Alexis Ballier","body":"Package-Manager: portage-2.2.24\nSigned-off-by: Alexis Ballier ","commitid":"44a23c2510aa3dc688f4f9957f626ee81537cfc0","committime":"2015-11-05T08:46:01","packageid":64116,"repoid":1,"summary":"dev-ml\/zarith: Bump to 1.4."},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"a079f620b587c6be05fd0a3867be7c70ec7b3053","committime":"2015-10-17T16:42:05","packageid":64116,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"aballier@gentoo.org","authorname":"Alexis Ballier","commitid":"3e2d9c52da78b6e5fa670f6fa5cd2c93b520b257","committime":"2015-10-17T16:25:27","packageid":64116,"repoid":1,"summary":"Merge remote-tracking branch 'github\/pr\/248'"},{"authoremail":"tomboy64@sina.cn","authorname":"Matthew Brewer","body":"changed SLOT=\"0\" to SLOT=\"0\/${PV}\" to make := actually useful","commitid":"bb27079649831775a18227267025c165d8752d15","committime":"2015-10-17T16:23:53","packageid":64116,"repoid":1,"summary":"dev-ml\/zarith: revbump"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"70c032e7c7375c21f6bae8e56d8cadcf2f3e1bd4","committime":"2015-09-19T14:21:44","packageid":64116,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"aballier@gentoo.org","authorname":"Alexis Ballier","body":"Package-Manager: portage-2.2.20.1","commitid":"432d1fb4412d2b98c0c773bfbffefaebff411bee","committime":"2015-09-19T13:43:56","packageid":64116,"repoid":1,"summary":"dev-ml\/zarith: initial import, bug #388903"}],"dependencies":[{"block":false,"categoryid":450,"description":"Larry Wall's Practical Extraction and Report Language","ebuildids":[800582,832970],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"perl@gentoo.org","maintainername":"Gentoo Perl Project","name":"perl","packageid":44582},{"block":false,"categoryid":450,"description":"Programming language supporting functional, imperative & object-oriented styles","ebuildids":[800582,832970],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"ocaml","packageid":49590},{"block":false,"categoryid":314,"description":"OCaml tool to find\/use non-standard packages","ebuildids":[800582,832970],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"findlib","packageid":51288},{"block":false,"categoryid":393,"description":"Library for arbitrary-precision arithmetic on different type of numbers","ebuildids":[800582,832970],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"toolchain@gentoo.org","maintainername":"Gentoo Toolchain Project","name":"gmp","packageid":55512}],"depending":[{"block":false,"categoryid":317,"description":"Proof assistant written in O'Caml","ebuildids":[829173,829173,837450,837450],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"coq","packageid":42174,"summary":"Developed in the LogiCal project, the Coq tool is a formal proof management system: a proof done with Coq is mechanically checked by the machine. In particular, Coq allows: * the definition of functions or predicates, * to state mathematical theorems and software specifications, * to develop interactively formal proofs of these theorems, * to check these proofs by a small certification \"kernel\". Coq is based on a logical framework called \"Calculus of Inductive Constructions\" extended by a modular development system for theories."},{"block":false,"categoryid":314,"description":"Cryptographic primitives library for Objective Caml","ebuildids":[816783,816783,845928,845928],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"cryptokit","packageid":43079},{"block":false,"categoryid":422,"description":"Genealogy software program with a Web interface","ebuildids":[833315,833315,833316,833316],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"tupone@gentoo.org","maintainername":"Tupone Alfredo","name":"geneweb","packageid":52092,"summary":"GeneWeb is a genealogy software program with a Web interface. It can be used off-line or in a Web environment. It uses very efficient techniques of relationship and consanguinity computing, developed in collaboration with Didier Rémy, research Director at INRIA."},{"block":false,"categoryid":317,"description":"Automatic theorem prover","ebuildids":[833224,833224],"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."},{"block":false,"categoryid":317,"description":"Platform for deductive program verification","ebuildids":[742645,742645],"firstseen":"2017-10-19T20:17:41.724443","name":"why3-for-spark","packageid":68094,"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":317,"description":"Computer-Aided Cryptographic Proofs","ebuildids":[831604,831604,840165,840165],"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."},{"block":false,"categoryid":317,"description":"Platform for deductive program verification","ebuildids":[782878,782878,845202,845202],"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."}],"ebuilds":[{"archs":["amd64","x86","~arm","~arm64","~ppc"],"ebuildid":832970,"firstseen":"2024-07-15T14:55:07.780604","license":"LGPL-2.1-with-linking-exception","moddate":"2024-12-17T22:35:44","packageid":64116,"repoid":1,"slot":"0\/1.14","uses":["doc","ocamlopt"],"version":"1.14"},{"archs":["amd64","x86","~arm","~arm64","~ppc"],"ebuildid":800582,"firstseen":"2023-09-22T15:21:40.821783","license":"LGPL-2.1-with-linking-exception","moddate":"2024-12-17T22:35:44","packageid":64116,"repoid":1,"slot":"0\/1.13","uses":["doc","ocamlopt"],"version":"1.13"}],"masks":[],"package":{"categoryid":314,"description":"Arithmetic and logic operations over arbitrary-precision integers","firstseen":"2015-09-20T13:38:44.780852","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"zarith","packageid":64116},"rdependencies":[{"block":false,"categoryid":450,"description":"Programming language supporting functional, imperative & object-oriented styles","ebuildids":[800582,800582,832970,832970],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"ocaml","packageid":49590},{"block":false,"categoryid":393,"description":"Library for arbitrary-precision arithmetic on different type of numbers","ebuildids":[800582,832970],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"toolchain@gentoo.org","maintainername":"Gentoo Toolchain Project","name":"gmp","packageid":55512}],"repos":[{"branch":"master","lastcommit":"450460fefe0916c237e2fd93afd039afae67bafe","name":"gentoo","path":"\/usr\/portage","repoid":1,"upstream":"origin"}],"tracked":false,"urls":["https:\/\/github.com\/ocaml\/Zarith"],"uses":[{"description":"Add extra documentation (API, Javadoc, etc). It is recommended to enable per package instead of globally","isdefault":false,"use":"doc"},{"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"}]}