{"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":314,"name":"dev-ml","summary":"The dev-ml category contains libraries and utilities relevant to the ML programming language."},{"categoryid":451,"name":"net-misc","summary":"The net-misc category contains various miscellaneous networking tools and utilities."},{"categoryid":459,"name":"net-p2p","summary":"The net-p2p category contains peer-to-peer networking applications."},{"categoryid":427,"name":"sci-calculators","summary":"The sci-calculators category contains scientific calculator packages."},{"categoryid":317,"name":"sci-mathematics","summary":"The sci-mathematics category contains mathematical software."}],"changelog":[{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"a198e862478387fe37b4d232d51a3edb558cd3e0","committime":"2025-12-19T10:01:01","packageid":70574,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"grobian@gentoo.org","authorname":"Fabian Groffen","body":"Bug: https:\/\/bugs.gentoo.org\/473598\nBug: https:\/\/bugs.gentoo.org\/720224\nSigned-off-by: Fabian Groffen ","commitid":"2d25fad95cbaa525c8945d8e582c749d49524f49","committime":"2025-12-19T09:25:43","packageid":70574,"repoid":1,"summary":"*\/*: drop *-linux keywords"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"b082176271c4f0d63a97962e4b75785991196236","committime":"2025-12-17T15:16:13","packageid":70574,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"grobian@gentoo.org","authorname":"Fabian Groffen","body":"The arch and OS that matches it are obsolete.\n\nSigned-off-by: Fabian Groffen ","commitid":"0a7ffce789e36042bac35ea5e0b8b2b654e5b490","committime":"2025-12-17T15:07:23","packageid":70574,"repoid":1,"summary":"*: remove ppc-macos keyword"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"87a2e84e3f6551f0dd95028aa28fc362c04e9ac2","committime":"2025-08-27T15:49:00","packageid":70574,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"862387fc00c5aab00ba92916801bb35ea19d4714","committime":"2025-08-27T14:58:47","packageid":70574,"repoid":1,"summary":"dev-ml\/num: patch META file to fix build of easycrypt"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"8fb11c18b8268bbb36fced3bbfcca991d7771d77","committime":"2025-08-24T18:50:00","packageid":70574,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Closes: https:\/\/bugs.gentoo.org\/961950\nSigned-off-by: Alfredo Tupone ","commitid":"746c2f724fe52babe6cd0baac68bb768650effbe","committime":"2025-08-24T18:40:56","packageid":70574,"repoid":1,"summary":"dev-ml\/num: find install"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"b8fae142836379e3c0bbcafe986e7d015ca50fd5","committime":"2025-08-24T13:03:43","packageid":70574,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Signed-off-by: Alfredo Tupone ","commitid":"daa9efa604c0705567df7740e6b2e2f2d77f7185","committime":"2025-08-24T12:55:54","packageid":70574,"repoid":1,"summary":"dev-ml\/num: add 1.6"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"72afca143ed4bbf97b7caa431a15765168a92217","committime":"2025-05-30T20:24:08","packageid":70574,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"39f9ae1c6b9f3d86cfebbb6745909272d3bbc4d2","committime":"2025-05-30T20:10:16","packageid":70574,"repoid":1,"summary":"dev-ml\/num: drop 1.3-r1, 1.4-r3, EAPI=7--"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"a25d9514278f7b7f6ce3151bd0adfe848fb8f5ca","committime":"2024-10-18T15:48:33","packageid":70574,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"50afa2069a83c599d4bb6b697f465c5bf6875ca7","committime":"2024-10-18T15:40:14","packageid":70574,"repoid":1,"summary":"dev-ml\/num: Stabilize 1.5 arm64, #941576"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"efbc5adffa42efdb15d1b502f9472699f2808fc7","committime":"2024-10-18T15:40:05","packageid":70574,"repoid":1,"summary":"dev-ml\/num: Stabilize 1.5 arm, #941576"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"577f4ed2a7f05e027634e2b45b4e3b07b2b74185","committime":"2024-10-15T15:33:17","packageid":70574,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"f574943c153a6fe6fb8484157c1793923c350c30","committime":"2024-10-15T15:24:42","packageid":70574,"repoid":1,"summary":"dev-ml\/num: Stabilize 1.5 x86, #941576"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"10ba7b9ce906ef01f2fe93f8742a23832f79b904","committime":"2024-10-15T15:24:27","packageid":70574,"repoid":1,"summary":"dev-ml\/num: Stabilize 1.5 ppc64, #941576"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"2c1dcd06ca9837b46fb7949b5fd3e6402543e4a5","committime":"2024-10-15T15:24:12","packageid":70574,"repoid":1,"summary":"dev-ml\/num: Stabilize 1.5 amd64, #941576"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"611bc30ce07fa48151ba84c48b9e4b106bf2cc71","committime":"2024-07-30T05:19:12","packageid":70574,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Closes: https:\/\/bugs.gentoo.org\/936155\nSigned-off-by: Alfredo Tupone ","commitid":"28494b7a30132d895d48c5fbda9d2cd5adbe2974","committime":"2024-07-30T05:05:04","packageid":70574,"repoid":1,"summary":"dev-ml\/num: fix parallel build"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"c2ec4dd05f7cdcd001c772f52af482a0a22758e8","committime":"2024-06-28T21:20:42","packageid":70574,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Signed-off-by: Alfredo Tupone ","commitid":"37afc75bdf85078452e57c743d7ed4d637362ec3","committime":"2024-06-28T21:05:03","packageid":70574,"repoid":1,"summary":"dev-ml\/num: update EAPI 7 -> 8"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Signed-off-by: Alfredo Tupone ","commitid":"654e9db4b6bacedfcc526446fb4c2fdc8a962a3b","committime":"2024-06-28T20:59:17","packageid":70574,"repoid":1,"summary":"dev-ml\/num: add 1.5"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"ac4f4d43da02809d54d77d18248d9ae4eccf680e","committime":"2024-05-31T06:19:23","packageid":70574,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Closes: https:\/\/bugs.gentoo.org\/723750\nSigned-off-by: Alfredo Tupone ","commitid":"d03f021353ae74174f16e30280378c49aeda970e","committime":"2024-05-31T06:03:13","packageid":70574,"repoid":1,"summary":"dev-ml\/num: ignore TEXTRELS on 32 bits arch"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"1e74ac9788964fd86f18d370c5401a8cec873119","committime":"2023-05-24T19:47:02","packageid":70574,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"grobian@gentoo.org","authorname":"Fabian Groffen","body":"Signed-off-by: Fabian Groffen ","commitid":"82e9ddde6f17e843beed29bc1446c635f71efc50","committime":"2023-05-24T19:41:33","packageid":70574,"repoid":1,"summary":"*\/*: remove x86-solaris keyword"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"b10639331f673d13e152b121eac38da1d326e0a0","committime":"2022-04-18T21:23:50","packageid":70574,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tanekliang@gmail.com","authorname":"Yongxiang Liang","body":"Signed-off-by: Yongxiang Liang \nSigned-off-by: Jakov Smolić ","commitid":"211008a43195514c786d425b1d5f2ff71764e90b","committime":"2022-04-17T15:40:26","packageid":70574,"repoid":1,"summary":"dev-ml\/num: Keyword 1.4-r3 riscv, #835392"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"f39b36bda30e9a806f6c990ca3621fd693f54c28","committime":"2022-03-03T21:36:55","packageid":70574,"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":"e6bb27ad3d2cdfc738e581101e0209365d9bba08","committime":"2022-03-03T21:19:27","packageid":70574,"repoid":1,"summary":"dev-ml\/num: destabilise for ppc"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"3b3568f3db0f1019028a167ede6e84726ba8dfb7","committime":"2022-01-12T19:21:39","packageid":70574,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Closes: https:\/\/bugs.gentoo.org\/822321\nPackage-Manager: Portage-3.0.28, Repoman-3.0.3\nSigned-off-by: Alfredo Tupone ","commitid":"df63ec0cfb7adccbc4e0e70b00a4a989ec474035","committime":"2022-01-12T19:03:24","packageid":70574,"repoid":1,"summary":"dev-ml\/num: respect ocamlopt"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"732ceca738565ec14366732b5a899668a1de10f6","committime":"2022-01-07T20:36:37","packageid":70574,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Package-Manager: Portage-3.0.28, Repoman-3.0.3\nSigned-off-by: Alfredo Tupone ","commitid":"6ca38d474e5207654e713f0e2da090673508bc76","committime":"2022-01-07T20:22:00","packageid":70574,"repoid":1,"summary":"dev-ml\/num: fix install with -ocamlopt"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"94dece89ae7058ccd30fdb54e8ea583171c6f234","committime":"2021-11-07T01:34:45","packageid":70574,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Closes: https:\/\/bugs.gentoo.org\/821988\nSigned-off-by: Sam James ","commitid":"bab04cdceaa5297441c9961cd3543e431e1a9ffe","committime":"2021-11-07T01:20:40","packageid":70574,"repoid":1,"summary":"dev-ml\/num: fix handling of ocamlopt"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"b09a3ffec5d8d231665e0cb752f543fb17d2b0eb","committime":"2021-10-07T02:07:17","packageid":70574,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Closes: https:\/\/bugs.gentoo.org\/803275\nSigned-off-by: Sam James ","commitid":"372049e39ab93af18ce0e72e884ee2ca5ea1b5a9","committime":"2021-10-07T01:38:34","packageid":70574,"repoid":1,"summary":"dev-ml\/num: fix collision with newer findlib"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"585abf7ff73727b26f75283dedee2c58a48c3ae8","committime":"2021-06-14T08:05:36","packageid":70574,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"95151d53ef37e2ec5172de649ec9917aba57acdd","committime":"2021-06-13T18:50:10","packageid":70574,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Closes: https:\/\/bugs.gentoo.org\/795780\nPackage-Manager: Portage-3.0.18, Repoman-3.0.2\nSigned-off-by: Alfredo Tupone ","commitid":"990ec56f7bb07b6468537251ac84058c0c5daa14","committime":"2021-06-13T18:30:46","packageid":70574,"repoid":1,"summary":"dev-ml\/num: ocamlopt shall be passed to ocaml"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Closes: https:\/\/bugs.gentoo.org\/795780\nSigned-off-by: Sam James ","commitid":"03cf4b94164490db6d8468d9331b3664f3f75c04","committime":"2021-06-13T18:14:31","packageid":70574,"repoid":1,"summary":"dev-ml\/num: try to disable ocamlopt"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"acd7122137fac9e15e4d6b067d7b7b49a3d364b8","committime":"2021-06-13T08:20:10","packageid":70574,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Closes: https:\/\/bugs.gentoo.org\/795711\nPackage-Manager: Portage-3.0.18, Repoman-3.0.2\nSigned-off-by: Alfredo Tupone ","commitid":"56f5892bc2fcb42fb1f05b81941d40070d584f0f","committime":"2021-06-13T08:13:20","packageid":70574,"repoid":1,"summary":"dev-ml\/num: changing compiler need a rebuild, add RDEPEND"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"766d0794ebef06b208ba0eedfb0edc2bb603d6fc","committime":"2021-04-19T00:34:54","packageid":70574,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"10ee96de2207a7e973f812043bb695b02a681a69","committime":"2021-04-19T00:23:05","packageid":70574,"repoid":1,"summary":"dev-ml\/num: Stabilize 1.4-r1 ppc64, #783576"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"dc89aa6fa799f1654dd39b107dddfc4ab6445a0a","committime":"2021-04-18T07:07:04","packageid":70574,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"a79db1c047aa1291029f1eda9ae05eb300ef166a","committime":"2021-04-18T06:52:00","packageid":70574,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"381c12640af79e2369cfcc3acd5363a768867e5d","committime":"2021-04-18T06:48:31","packageid":70574,"repoid":1,"summary":"dev-ml\/num: Stabilize 1.4-r1 ppc, #783576"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"5da9a723da8b060c316aee4f6322574a035a2906","committime":"2021-04-18T06:46:04","packageid":70574,"repoid":1,"summary":"dev-ml\/num: Stabilize 1.4-r1 amd64, #783576"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"4b0949cbbefbd4c144084e7a4d030f2bf65d6b08","committime":"2021-04-18T06:45:04","packageid":70574,"repoid":1,"summary":"dev-ml\/num: Stabilize 1.4-r1 x86, #783576"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"1335924eab952e24dbc44deaecde65391cfca244","committime":"2021-04-18T06:44:12","packageid":70574,"repoid":1,"summary":"dev-ml\/num: Stabilize 1.4-r1 arm, #783576"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"8265ecb4795e4b2ea4c119441ff1f6c7ea10ea44","committime":"2021-04-18T06:43:51","packageid":70574,"repoid":1,"summary":"dev-ml\/num: Stabilize 1.4-r1 arm64, #783576"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"824405877a9f8947595238a7dfec9a60b7e7c5e5","committime":"2021-04-16T11:35:32","packageid":70574,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"a43eaa495bf92db344de50928243a7bbac6afa4c","committime":"2021-04-15T08:14:49","packageid":70574,"repoid":1,"summary":"dev-ml\/num: multilib--"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"b79e58a17a842959eb4f7741abdea848555c87a8","committime":"2021-03-14T01:06:09","packageid":70574,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"f6264519c9a911db6da93c6dd09de126b90380e7","committime":"2021-03-14T00:44:22","packageid":70574,"repoid":1,"summary":"dev-ml\/num: Stabilize 1.3-r1 arm64, #772833"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"3b5497f2a1f0948d938b0fe9c08ea6c2e5054f48","committime":"2021-03-14T00:31:08","packageid":70574,"repoid":1,"summary":"dev-ml\/num: Stabilize 1.3-r1 arm, #772833"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"e1b8e8500d244d2df1c27825e1f62f7546d0f623","committime":"2021-03-13T15:36:16","packageid":70574,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"8decadcf6ae0d66e6fe296a5d72ceb0c7efbe556","committime":"2021-03-13T14:25:04","packageid":70574,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"c424edd656ac758494873324388b6b307408d908","committime":"2021-03-13T14:05:03","packageid":70574,"repoid":1,"summary":"dev-ml\/num: Stabilize 1.3-r1 ppc64, #772833"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"8be04c1f1884b59da47602d0ed384f575abfde4a","committime":"2021-03-13T13:21:34","packageid":70574,"repoid":1,"summary":"dev-ml\/num: drop 1.3"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"36b0072a36164e68fd91e103107b01bec1a5c6e5","committime":"2021-03-09T22:20:46","packageid":70574,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"435a8e1a8abecb45bbc27bf8e00df532b65da7c6","committime":"2021-03-09T22:06:02","packageid":70574,"repoid":1,"summary":"dev-ml\/num: add note regarding dune"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Closes: https:\/\/bugs.gentoo.org\/775146\nSigned-off-by: Sam James ","commitid":"346a94086d8568db73e1e4dc367a15fbe827fbb2","committime":"2021-03-09T22:05:32","packageid":70574,"repoid":1,"summary":"dev-ml\/num: fix tests"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"e6f41f80f268bd348117c77b690a1d34ff5ff406","committime":"2021-03-09T20:50:45","packageid":70574,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Thanks-to: Jesús P Rey (Chuso) \nCloses: https:\/\/bugs.gentoo.org\/775119\nSigned-off-by: Sam James ","commitid":"a885177a3e3c7bd8379a8b128ed77819a1cd1fa4","committime":"2021-03-09T20:42:51","packageid":70574,"repoid":1,"summary":"dev-ml\/num: fix installation"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"b0a566014ff090aa649d6cc6d24f6cc4e1b612fa","committime":"2021-03-04T14:37:02","packageid":70574,"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":"d456be0422a87f64576bdcac58f65f054f549d9d","committime":"2021-03-04T14:27:40","packageid":70574,"repoid":1,"summary":"dev-ml\/num: amd64 stable wrt bug #772833"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"b466a1bfc5dca5339513886519178be73458f976","committime":"2021-02-25T18:07:13","packageid":70574,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"fbb1048cb18a94cc2903d84d9d48caf715e68c03","committime":"2021-02-25T17:53:58","packageid":70574,"repoid":1,"summary":"dev-ml\/num: Stabilize 1.3-r1 x86, #772833"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"92984989295b442e1a9667d50c579cabaad88724","committime":"2021-02-25T13:22:08","packageid":70574,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"4501330ec756da526b4bfaa1022e5b98b92952c8","committime":"2021-02-25T13:08:53","packageid":70574,"repoid":1,"summary":"dev-ml\/num: Stabilize 1.3-r1 ppc, #772833"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"394276918d96145308b9c1cd53d7d24f43a42a2e","committime":"2021-02-08T09:47:27","packageid":70574,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Package-Manager: Portage-3.0.14, Repoman-3.0.2\nSigned-off-by: Sam James ","commitid":"61921c92598248ef523d248d33a28a7f50a1c274","committime":"2021-02-08T08:00:01","packageid":70574,"repoid":1,"summary":"dev-ml\/num: bump to 1.4"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"6f9177970b824cce96ce881c87f3fafd9c3cd894","committime":"2021-01-06T20:05:15","packageid":70574,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"grobian@gentoo.org","authorname":"Fabian Groffen","body":"Package-Manager: Portage-3.0.12, Repoman-3.0.2\nSigned-off-by: Fabian Groffen ","commitid":"28315076507e17d1c9d106540014eed399073e79","committime":"2021-01-06T19:35:15","packageid":70574,"repoid":1,"summary":"dev-ml\/num: drop x86-macos"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"18b641e272f902f0c84870659062cc94139101aa","committime":"2020-10-28T04:05:16","packageid":70574,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Package-Manager: Portage-3.0.8, Repoman-3.0.2\nSigned-off-by: Sam James ","commitid":"df74d9270b6cdfd15a947ab21b7798c2d6a7d217","committime":"2020-10-28T03:09:33","packageid":70574,"repoid":1,"summary":"dev-ml\/num: ppc64 keyworded (bug #748576)"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"10f4a6bb0fc6e9021fa18f02cdec41999a9fa01c","committime":"2020-10-13T13:23:50","packageid":70574,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"gienah@gentoo.org","authorname":"Mark Wright","body":"Co-Author: Alexis Ballier \nPackage-Manager: Portage-3.0.8, Repoman-3.0.1\nSigned-off-by: Mark Wright ","commitid":"ac69b4ec6871665767ad2e83eea964fc2a3cb9cf","committime":"2020-10-13T05:52:21","packageid":70574,"repoid":1,"summary":"dev-ml\/num: Rebuild when ocaml rebuilt, add KEYWORDS from ml-overlay."},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"99ecdebd6d0b569a74b12234d57508cb2d71fcb5","committime":"2020-05-21T17:38:53","packageid":70574,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Closes: https:\/\/bugs.gentoo.org\/723748\nPackage-Manager: Portage-2.3.99, Repoman-2.3.22\nSigned-off-by: Alfredo Tupone ","commitid":"42825e870a32b5f52e4266f75bbc313129403c90","committime":"2020-05-21T17:04:09","packageid":70574,"repoid":1,"summary":"dev-ml\/num: use CFLAGS"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"af17f8b4727203c44b403feec78a7501ed16b1ea","committime":"2020-05-18T13:35:09","packageid":70574,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"331b3d90d8efe01ff7692c2d89db8ed0920c5eda","committime":"2020-05-18T13:05:10","packageid":70574,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"ago@gentoo.org","authorname":"Agostino Sarubbo","body":"Package-Manager: Portage-2.3.99, Repoman-2.3.22\nRepoMan-Options: --include-arches=\"x86\"\nSigned-off-by: Agostino Sarubbo ","commitid":"78f9a314e7b1b9f42bf783900cca04b70bd666e3","committime":"2020-05-18T13:02:04","packageid":70574,"repoid":1,"summary":"dev-ml\/num: x86 stable wrt bug #723500"},{"authoremail":"ago@gentoo.org","authorname":"Agostino Sarubbo","body":"Package-Manager: Portage-2.3.99, Repoman-2.3.22\nRepoMan-Options: --include-arches=\"amd64\"\nSigned-off-by: Agostino Sarubbo ","commitid":"f976bf2cf9160f2d50a276521817e77c0697d7bd","committime":"2020-05-18T12:54:39","packageid":70574,"repoid":1,"summary":"dev-ml\/num: amd64 stable wrt bug #723500"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"df9de4e4e9dba98aa9e50869f75e7054797bbfc3","committime":"2020-04-07T19:06:24","packageid":70574,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Closes: https:\/\/bugs.gentoo.org\/710892\nPackage-Manager: Portage-2.3.89, Repoman-2.3.20\nSigned-off-by: Alfredo Tupone ","commitid":"a5590b6514a5b93c85532b54a4cb81e03a8a5174","committime":"2020-04-07T18:41:04","packageid":70574,"repoid":1,"summary":"dev-ml\/num: use ocamlopt"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"e2e9138bf0232fe5aaaab33a3dff8470f47f387f","committime":"2020-01-13T21:05:46","packageid":70574,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Tupone Alfredo","body":"Package-Manager: Portage-2.3.79, Repoman-2.3.16\nSigned-off-by: Alfredo Tupone ","commitid":"c91d12fc62834d8741294095a719ae187290a1b2","committime":"2020-01-13T20:43:20","packageid":70574,"repoid":1,"summary":"dev-ml\/num: fix dependency"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"7b78d7211833e3f591070dfb36c81c11c322761f","committime":"2020-01-07T21:26:45","packageid":70574,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"zx2c4@gentoo.org","authorname":"Jason A. Donenfeld","body":"Fixes: https:\/\/bugs.gentoo.org\/704928\nPackage-Manager: Portage-2.3.84, Repoman-2.3.20\nSigned-off-by: Jason A. Donenfeld ","commitid":"0849f2d4192c441bdd07a752b02c780b5a8b3022","committime":"2020-01-07T20:54:51","packageid":70574,"repoid":1,"summary":"dev-ml\/num: add for newer ocaml + coq"}],"dependencies":[{"block":false,"categoryid":314,"description":"OCaml tool to find\/use non-standard packages","ebuildids":[831310,831310,874079],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"findlib","packageid":51288}],"depending":[{"block":false,"categoryid":317,"description":"Coq\/Rocq is a proof assistant written in O'Caml","ebuildids":[857163,857163,857164,857164,857165,857165,877197,877197,890315,890315,894029,894029],"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":459,"description":"Multi-network P2P application written in Ocaml, with Gtk, web & telnet interface","ebuildids":[839799],"firstseen":"2010-05-04T00:54:45.661860","name":"mldonkey","packageid":43358},{"block":false,"categoryid":314,"description":"Library for automated conversion of OCaml-values to and from S-expressions","ebuildids":[810443,810443,890250,890250],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"sexplib","packageid":49507},{"block":false,"categoryid":422,"description":"Genealogy software program with a Web interface","ebuildids":[861237,861237],"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":427,"description":"A fullscreen RPN calculator for the console","ebuildids":[743782,743782],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"sci@gentoo.org","maintainername":"Gentoo Science Project","name":"orpie","packageid":54307,"summary":"Orpie is a fullscreen RPN calculator for the console. Its operation is similar to that of modern HP calculators, but data entry has been optimized for efficiency on a PC keyboard."},{"block":false,"categoryid":451,"description":"An OpenPGP keyserver which is decentralized with highly reliable synchronization","ebuildids":[866884,866884],"firstseen":"2012-02-07T14:35:48.061692","maintainer":"k_f@gentoo.org","maintainername":"Kristian Fiskerstrand","name":"sks","packageid":58830},{"block":false,"categoryid":317,"description":"Automatic theorem prover","ebuildids":[876928,876928],"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":"SPARK 2014 repository for the Why3 verification platform","ebuildids":[853673,853673],"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":314,"description":"A community-maintained standard library extension","ebuildids":[858832,858832,880076,880076],"firstseen":"2021-12-04T15:53:08.392601","name":"batteries","packageid":73702},{"block":false,"categoryid":317,"description":"Computer-Aided Cryptographic Proofs","ebuildids":[878108,878108,882277,882277,893517,893517],"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,854230,854230,869907,869907,877153,877153],"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":317,"description":"Model checker for verifying properties of array-based systems","ebuildids":[780327,780327],"firstseen":"2023-01-10T23:47:47.966911","name":"cubicle","packageid":75748,"summary":"Cubicle is an open source model checker for verifying safety properties of array-based systems. This is a syntactically restricted class of parametrized transition systems with states represented as arrays indexed by an arbitrary number of processes. Cache coherence protocols and mutual exclusion algorithms are typical examples of such systems. Cubicle model-checks by a symbolic backward reachability analysis on infinite sets of states represented by specific simple formulas, called cubes. Cubicle is based on ideas introduced by MCMT from which, in addition to revealing the implementation details, it differs in a more friendly input language and a concurrent architecture. Cubicle is written in OCaml. Its SMT solver is a tightly integrated, lightweight and enhanced version of Alt-Ergo; and its parallel implementation relies on the Functory library."},{"block":false,"categoryid":317,"description":"Multi-engine SMT-based automatic model checker","ebuildids":[789128,789128],"firstseen":"2023-06-03T18:09:22.830387","name":"kind2","packageid":76227,"summary":"Kind 2 is an open-source, multi-engine, SMT-based automatic model checker for safety properties of finite-state or infinite-state synchronous reactive systems expressed as in an extension of the Lustre language. In its basic configuration it takes as input one or more Lustre files annotated with properties to be proven invariant, and outputs for each property either a confirmation or a counterexample, i.e., a sequence inputs that falsifies the property. More advanced features include contract-based compositional verification, proof generation for proven properties, and contract-based test generation."}],"ebuilds":[{"archs":["~amd64","~arm","~arm64","~ppc","~ppc64","~riscv","~x86"],"ebuildid":874079,"firstseen":"2025-08-27T17:06:56.007951","license":"LGPL-2.1-with-linking-exception","moddate":"2026-03-07T19:20:49","packageid":70574,"repoid":1,"slot":"0","uses":["ocamlopt"],"version":"1.6-r1"},{"archs":["amd64","arm","arm64","ppc64","x86","~ppc","~riscv"],"ebuildid":831310,"firstseen":"2024-06-28T22:26:55.241230","license":"LGPL-2.1-with-linking-exception","moddate":"2026-03-07T19:20:49","packageid":70574,"repoid":1,"slot":"0","uses":["ocamlopt"],"version":"1.5"}],"masks":[],"package":{"categoryid":314,"description":"Library for arbitrary-precision integer and rational arithmetic","firstseen":"2020-01-07T21:43:34.584399","name":"num","packageid":70574},"rdependencies":[{"block":false,"categoryid":450,"description":"Programming language supporting functional, imperative & object-oriented styles","ebuildids":[831310,874079],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"ocaml","packageid":49590}],"repos":[{"branch":"master","lastcommit":"52197549fd3431fa256b8edbafdcd3702dd0e134","name":"gentoo","path":"\/usr\/portage","repoid":1,"upstream":"origin"}],"tracked":false,"urls":["https:\/\/github.com\/ocaml\/num"],"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"}]}