{"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."},{"categoryid":396,"name":"virtual","summary":"The virtual category contains packages which satisfy virtual dependencies."}],"changelog":[{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"0c0f7d1afbfd44cd91a55f219d064c0d786115ed","committime":"2026-03-15T13:30:49","packageid":47766,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"t@laumann.xyz","authorname":"Thomas Bracht Laumann Jespersen","body":"Upstream changed tagging scheme from relXY to vX.Y. Enable tests.\n\nSigned-off-by: Thomas Bracht Laumann Jespersen \nPart-of: https:\/\/codeberg.org\/gentoo\/gentoo\/pulls\/324\nMerges: https:\/\/codeberg.org\/gentoo\/gentoo\/pulls\/324\nSigned-off-by: Maciej Barć ","commitid":"adcaaf4a2638ccbaaf6ae7a737b9ee7ca502c60c","committime":"2026-03-15T06:40:01","packageid":47766,"repoid":1,"summary":"dev-ml\/camlzip: add 1.14"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"e09be1650bf1ab608446c80c6ac2835c083e91fe","committime":"2025-11-04T10:20:41","packageid":47766,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"mgorny@gentoo.org","authorname":"Michał Górny","body":"Done via:\n\n```\ngit grep -l 'virtual\/zlib-' |\n xargs sed -i -r -e 's@virtual\/zlib-[0-9.]*(-r[0-9]*)?@&:=@g'\ngit grep -l 'virtual\/zlib-' | xargs sed -i -e 's@:=:=@:=@g'\npkgcheck scan --commits \\\n -c SourcingCheck,VisibilityCheck,DependencyCheck --exit error\n```\n\nSigned-off-by: Michał Górny ","commitid":"83b8fe24940e7432d23677f85927fa54bb45dbd8","committime":"2025-11-04T09:58:54","packageid":47766,"repoid":1,"summary":"*\/*: Use := on virtual\/zlib deps, part 5"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"264e3c99fc745646475409ea475d643ce2dc7e4b","committime":"2025-11-04T08:20:44","packageid":47766,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"mgorny@gentoo.org","authorname":"Michał Górny","body":"Update done using:\n\n```\ngit grep -l sys-libs\/zlib dev-* | xargs sed -i -e s@sys-libs\/zlib@virtual\/zlib@g\ngit diff --name-only | xargs copybump\ngit diff --name-only | xargs grep -l PYTHON_COMPAT | xargs gpy-impl -@dead\npkgcheck scan --commits -c SourcingCheck,VisibilityCheck --exit error\n```\n\nFollowed by manual revert in dev-python\/zlib-ng where it accidentally\ncaught sys-libs\/zlib-ng dependencies.\n\nSigned-off-by: Michał Górny ","commitid":"bd0ee727e0e124e4eaa879ad390bef06ff7420bf","committime":"2025-11-04T08:03:00","packageid":47766,"repoid":1,"summary":"dev-*\/*: update for virtual\/zlib"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"34bcbf0321eef3168dfacc31b7aa46e919c57eb3","committime":"2025-09-27T16:18:33","packageid":47766,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Signed-off-by: Alfredo Tupone ","commitid":"fe73fcef5e39c13a8c6eb657c6bf86d453fa3fda","committime":"2025-09-27T16:00:51","packageid":47766,"repoid":1,"summary":"dev-ml\/camlzip: drop 1.10, 1.11, 1.12"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"a2a0e41c415f5758a8164a1c2057b4553f1f32ed","committime":"2024-12-29T11:03:36","packageid":47766,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"15680df2a787bf0eb30a77fbb4f46c3230d21989","committime":"2024-12-29T10:53:33","packageid":47766,"repoid":1,"summary":"dev-ml\/camlzip: Stabilize 1.13 x86, #945767"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"cacba80c617f7de4e770ed7090b8ccf86159c641","committime":"2024-12-29T10:53:25","packageid":47766,"repoid":1,"summary":"dev-ml\/camlzip: Stabilize 1.13 ppc64, #945767"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"1b0fdf7e87787983433cbc07de1aa645aee67a89","committime":"2024-12-29T10:53:16","packageid":47766,"repoid":1,"summary":"dev-ml\/camlzip: Stabilize 1.13 arm, #945767"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"fe17d918481c4775ba09659a361a6a8beb4f1c93","committime":"2024-12-29T10:53:08","packageid":47766,"repoid":1,"summary":"dev-ml\/camlzip: Stabilize 1.13 arm64, #945767"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"01a12cd495c82d340e3aba655ea967bd80dabeb2","committime":"2024-12-29T10:52:56","packageid":47766,"repoid":1,"summary":"dev-ml\/camlzip: Stabilize 1.13 amd64, #945767"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"edb23908dd39a2b23fb750ea7a1628bdd11b26dc","committime":"2024-11-02T15:48:20","packageid":47766,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Signed-off-by: Alfredo Tupone ","commitid":"f55665ccef5d2e6a481ae6dcd1e346dfdcea86f4","committime":"2024-11-02T15:39:31","packageid":47766,"repoid":1,"summary":"dev-ml\/camlzip: add 1.13"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"667eaa3f01ff4294dbfb2c0425d3804ea8581879","committime":"2024-10-16T06:18:28","packageid":47766,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Signed-off-by: Alfredo Tupone ","commitid":"743eef105bde6dd6ac27f91f0c5f786ec7895e05","committime":"2024-10-16T06:09:11","packageid":47766,"repoid":1,"summary":"dev-ml\/camlzip: update EAPI 7 -> 8"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Signed-off-by: Alfredo Tupone ","commitid":"bb5d3a7648572090629e5c39e6027f89c18597a6","committime":"2024-10-16T06:07:09","packageid":47766,"repoid":1,"summary":"dev-ml\/camlzip: add 1.12"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"d7e2b8fe3ad6ff69fe31fb9dea6f9d963d72082e","committime":"2023-03-17T10:16:56","packageid":47766,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"7353d586aefd30d9135ca4015a23412ab8dc2dd0","committime":"2023-03-17T10:05:26","packageid":47766,"repoid":1,"summary":"dev-ml\/camlzip: Stabilize 1.11 ppc64, #901671"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"0e287b2ce7f2abff274dbadfcd34b65fd990024d","committime":"2023-03-17T02:31:56","packageid":47766,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"d7e3d4f11a8353d4cd240fca30235a9197dec5e0","committime":"2023-03-17T02:27:32","packageid":47766,"repoid":1,"summary":"dev-ml\/camlzip: Stabilize 1.11 x86, #901671"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"63c0d3175240716ae85824875f8534b0d4523733","committime":"2023-03-17T02:27:31","packageid":47766,"repoid":1,"summary":"dev-ml\/camlzip: Stabilize 1.11 amd64, #901671"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"c0e914f05b83a0eeff5151522aae58551d2b1ab2","committime":"2023-03-16T23:32:21","packageid":47766,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"a4ccfdc9a28a77fb40603977db960095b0f58d8a","committime":"2023-03-16T23:15:06","packageid":47766,"repoid":1,"summary":"dev-ml\/camlzip: Stabilize 1.11 arm64, #901671"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"61848fa7a579e7d64d4ba5a98ff8a76b970f8b9a","committime":"2023-03-16T23:15:05","packageid":47766,"repoid":1,"summary":"dev-ml\/camlzip: Stabilize 1.11 arm, #901671"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"b10639331f673d13e152b121eac38da1d326e0a0","committime":"2022-04-18T21:23:50","packageid":47766,"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":"03a93f854be003fd1f648fc347550485c5fe6f12","committime":"2022-04-17T15:40:49","packageid":47766,"repoid":1,"summary":"dev-ml\/camlzip: Keyword 1.11 riscv, #835392"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"f39b36bda30e9a806f6c990ca3621fd693f54c28","committime":"2022-03-03T21:36:55","packageid":47766,"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":"fbc097b40e8d570221200a7eae10850f9bb8df4e","committime":"2022-03-03T21:17:33","packageid":47766,"repoid":1,"summary":"dev-ml\/camlzip: destabilise for ppc"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"fdb4dc88b71b5f01b7eb928b369eac8d92625674","committime":"2022-01-12T18:36:34","packageid":47766,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Closes: https:\/\/bugs.gentoo.org\/822450\nPackage-Manager: Portage-3.0.28, Repoman-3.0.3\nSigned-off-by: Alfredo Tupone ","commitid":"131f528dd90041d172942672cb2f3b72dcf8e626","committime":"2022-01-12T18:28:58","packageid":47766,"repoid":1,"summary":"dev-ml\/camlzip: respect ocamlopt"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"d6f044bea2b85616863fb075bee06e410eae97eb","committime":"2021-10-06T01:21:19","packageid":47766,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"15644176b54aadf106ddd2e9e765fe554da56e58","committime":"2021-10-06T00:53:59","packageid":47766,"repoid":1,"summary":"dev-ml\/camlzip: add 1.11"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"7874f3e8c02b767a5ea953cde1acda08a30df035","committime":"2021-03-15T04:21:06","packageid":47766,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"96716746045ff29b9219c6365746390f59780bb9","committime":"2021-03-15T03:12:50","packageid":47766,"repoid":1,"summary":"dev-ml\/camlzip: drop 1.07"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"b79e58a17a842959eb4f7741abdea848555c87a8","committime":"2021-03-14T01:06:09","packageid":47766,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"32677ff84d60712f2eb44b0f124836b3e55d2ddb","committime":"2021-03-14T00:44:43","packageid":47766,"repoid":1,"summary":"dev-ml\/camlzip: Stabilize 1.10 arm64, #772833"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"f6f3323d6ce3f2d3af172da46b914d7408805cbb","committime":"2021-03-14T00:31:27","packageid":47766,"repoid":1,"summary":"dev-ml\/camlzip: Stabilize 1.10 arm, #772833"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"e1b8e8500d244d2df1c27825e1f62f7546d0f623","committime":"2021-03-13T15:36:16","packageid":47766,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"96f65515f2bc78ddc73cf3d3e496830f317823e5","committime":"2021-03-12T17:42:57","packageid":47766,"repoid":1,"summary":"dev-ml\/camlzip: drop 1.06"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"d8fef62db851a87ecbe505be32c86e962ca72ec4","committime":"2021-02-10T16:52:38","packageid":47766,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"71b348b0c6d98f4d3e5cbb161e57bdf25c9de9e1","committime":"2021-02-10T16:32:50","packageid":47766,"repoid":1,"summary":"dev-ml\/camlzip: Stabilize 1.10 ppc64, #769317"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"7b0caf6752672cda619fc3b3c487614952920d29","committime":"2021-01-24T18:39:52","packageid":47766,"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":"1b2b94f4ecc6daa0e28a8d0d1dc12730e9d28527","committime":"2021-01-24T17:48:20","packageid":47766,"repoid":1,"summary":"dev-ml\/camlzip: port to EAPI 7"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"e331e15b6f86ec3ccab65df411349361c0284685","committime":"2020-11-01T12:44:30","packageid":47766,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"6cfb5b5a6cfe9b366d3c38e1897e8dee15cdbaf8","committime":"2020-11-01T12:11:14","packageid":47766,"repoid":1,"summary":"dev-ml\/camlzip: Stabilize 1.10 amd64, #750287"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"18b641e272f902f0c84870659062cc94139101aa","committime":"2020-10-28T04:05:16","packageid":47766,"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":"8a99f934893572d2a85b66d436c91c10ad695590","committime":"2020-10-28T03:33:57","packageid":47766,"repoid":1,"summary":"dev-ml\/camlzip: ppc64 keyworded (bug #748576)"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"34179b6fb64d6cafa722db5362a7d745729a5ccb","committime":"2020-10-26T21:35:14","packageid":47766,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Tested-by: ernsteiswuerfel \nSigned-off-by: Sam James ","commitid":"08a664c87139b709f4848e7e8843422563cf5eb3","committime":"2020-10-26T21:17:22","packageid":47766,"repoid":1,"summary":"dev-ml\/camlzip: Stabilize 1.10 ppc, #750287"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"e33542df7bb42a8da076e4767d1fbb923ffaceb9","committime":"2020-10-25T23:35:15","packageid":47766,"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":"2d5b5270f55a8ac79f7471af17281af1d62ba2de","committime":"2020-10-25T23:18:46","packageid":47766,"repoid":1,"summary":"dev-ml\/camlzip: x86 stable (bug #750287)"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"ebe91b32e911af7d114170ff35e7994325982d6b","committime":"2020-06-14T12:35:09","packageid":47766,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Closes: https:\/\/bugs.gentoo.org\/728036\nPackage-Manager: Portage-2.3.99, Repoman-2.3.22\nSigned-off-by: Alfredo Tupone ","commitid":"28e3cdd8fa79e284c5be3ac72bdab084d516e7b8","committime":"2020-06-14T11:35:01","packageid":47766,"repoid":1,"summary":"dev-ml\/camlzip: Remove QA warning"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"6ae2c24ce0590e59586cdabf11bfe8481c6e30bf","committime":"2020-03-27T13:07:43","packageid":47766,"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":"6ab24eb543fb1f294859c09422935c0a47bc96ed","committime":"2020-03-27T12:40:55","packageid":47766,"repoid":1,"summary":"dev-ml\/camlzip: requires a newer version of ocaml"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"f385dd3387e4e4aab1dfde00f518f9d4fbf85234","committime":"2020-02-17T08:06:42","packageid":47766,"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":"1fc431bc2806da596754fb525faab6b9f7690116","committime":"2020-02-17T07:34:56","packageid":47766,"repoid":1,"summary":"dev-ml\/camlzip: Version bump to 1.10"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"5adfa39130cf2dab0dc2dc44f986018d2b877f52","committime":"2019-10-11T16:17:33","packageid":47766,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"mgorny@gentoo.org","authorname":"Michał Górny","body":"Signed-off-by: Michał Górny ","commitid":"aca26925a67868a6b453460706345175b4395c38","committime":"2019-10-11T15:34:31","packageid":47766,"repoid":1,"summary":"dev-ml: Remove *-fbsd KEYWORDS"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"29dd4a6bbb228c896bfa5930f96f8176768e0875","committime":"2018-12-15T09:24:00","packageid":47766,"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":"e6348ab3cb80f78eaf975229c28da7560650f5a4","committime":"2018-12-15T09:18:16","packageid":47766,"repoid":1,"summary":"dev-ml\/camlzip: amd64 stable wrt bug #672444"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"c70ebc87f720a8a42c6c047182b392da50a3ab52","committime":"2017-06-22T12:12:43","packageid":47766,"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":"14c78d3c282b4bd6ca8a7f620acc57808c7d21c8","committime":"2017-06-22T11:07:29","packageid":47766,"repoid":1,"summary":"dev-ml\/camlzip: keyword ~arm64"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"5c275ef98beb383a8671b261eebe4a5152e3a5db","committime":"2017-03-09T21:42:14","packageid":47766,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"aballier@gentoo.org","authorname":"Alexis Ballier","body":"Package-Manager: Portage-2.3.4, Repoman-2.3.2","commitid":"3fec2a7acddbbdec357028f1d89eea52050ffbb4","committime":"2017-03-09T20:43:41","packageid":47766,"repoid":1,"summary":"dev-ml\/camlzip: keyword ~arm"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"25093d6359f778b8d1052f66ba9e26fc29ded21a","committime":"2017-02-28T20:35:29","packageid":47766,"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":47766,"repoid":1,"summary":"Drop $Id$ per council decision in bug #611234."},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"6f89c90a11140109ab81b5e1f17b1734fc65edd8","committime":"2017-02-07T13:22:03","packageid":47766,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"aballier@gentoo.org","authorname":"Alexis Ballier","body":"Package-Manager: Portage-2.3.3, Repoman-2.3.1","commitid":"0113fd6c739fa174f5fb802fc442b77ec6583565","committime":"2017-02-07T13:19:03","packageid":47766,"repoid":1,"summary":"dev-ml\/camlzip: Bump to 1.07"},{"authoremail":"malfatti@neuro.ufrn.br","authorname":"T. Malfatti","commitid":"8457ba6f9fd6f0dbafcca1fb375788eeea02aae1","committime":"2017-01-26T18:44:34","packageid":47766,"repoid":1,"summary":"media-libs\/portaudio: Version bump"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"16ab8f1c80d6bb2764a41edb82c75ba79d028afb","committime":"2017-01-26T12:01:57","packageid":47766,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"aballier@gentoo.org","authorname":"Alexis Ballier","body":"Package-Manager: Portage-2.3.3, Repoman-2.3.1","commitid":"3bfb52b18d06bde1518a6f5b25e0803fc4de76c4","committime":"2017-01-26T11:42:17","packageid":47766,"repoid":1,"summary":"dev-ml\/camlzip: remove old"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"d0645c6277693c363033c4ea99568b148375f88a","committime":"2017-01-26T11:26:59","packageid":47766,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"ago@gentoo.org","authorname":"Agostino Sarubbo","body":"Package-Manager: portage-2.3.0\nRepoMan-Options: --include-arches=\"ppc\"\nSigned-off-by: Agostino Sarubbo ","commitid":"ed82ab588070abe0e00bd4285b4afbde6ee7b03a","committime":"2017-01-26T10:58:02","packageid":47766,"repoid":1,"summary":"dev-ml\/camlzip: ppc stable wrt bug #607028"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"506c032be44e34db26200b9d7252413da527bfdc","committime":"2017-01-25T14:41:55","packageid":47766,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"ago@gentoo.org","authorname":"Agostino Sarubbo","body":"Package-Manager: portage-2.3.0\nRepoMan-Options: --include-arches=\"amd64\"\nSigned-off-by: Agostino Sarubbo ","commitid":"f468b6381c3430f540cc28d17a36611676a8af48","committime":"2017-01-25T14:28:22","packageid":47766,"repoid":1,"summary":"dev-ml\/camlzip: amd64 stable wrt bug #607028"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"f31ce4ea1f6331814cb4e230d0528a4bdb4db46c","committime":"2017-01-25T11:02:07","packageid":47766,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"ago@gentoo.org","authorname":"Agostino Sarubbo","body":"Package-Manager: portage-2.3.0\nRepoMan-Options: --include-arches=\"x86\"\nSigned-off-by: Agostino Sarubbo ","commitid":"409a2eae6f5efa4afcd57e2310cfd72db960667c","committime":"2017-01-25T10:57:41","packageid":47766,"repoid":1,"summary":"dev-ml\/camlzip: x86 stable wrt bug #607028"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"5320c48dd87e3c2b1ea2d335834e33f4f4c79d3f","committime":"2016-09-05T12:26:12","packageid":47766,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"aballier@gentoo.org","authorname":"Alexis Ballier","body":"Package-Manager: portage-2.3.0","commitid":"48d6b8383c1261fb6c1b3d15fbe311eb4b14f865","committime":"2016-09-05T12:12:34","packageid":47766,"repoid":1,"summary":"dev-ml\/camlzip: bump to 1.06"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"d44c094686fdcccda0b596ec29b7dc2a1a1fc2e6","committime":"2016-03-03T13:42:10","packageid":47766,"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":"86ad5a0e551a7299c4eee12a5a5848024584d958","committime":"2016-03-03T13:32:45","packageid":47766,"repoid":1,"summary":"dev-ml\/camlzip: make ocaml 4.03 patch conditional as it breaks older ocaml"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"793245c429ec825e919af922d7f22a4ff400e8af","committime":"2016-03-02T19:42:26","packageid":47766,"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":"6e8cb67ebdafac9c72eee9983cbd4a88b2cbf266","committime":"2016-03-01T19:55:07","packageid":47766,"repoid":1,"summary":"dev-ml\/camlzip: fix build with ocaml 4.03"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"945f0d2a26da4f944fd06ad6a874f69d37ce1e06","committime":"2015-08-09T09:26:46","packageid":47766,"repoid":1,"summary":"2015-08-09 09:26:21 UTC"},{"authoremail":"robbat2@gentoo.org","authorname":"Robin H. Johnson","body":"This commit represents a new era for Gentoo:\nStoring the gentoo-x86 tree in Git, as converted from CVS.\n\nThis commit is the start of the NEW history.\nAny historical data is intended to be grafted onto this point.\n\nCreation process:\n1. Take final CVS checkout snapshot\n2. Remove ALL ChangeLog* files\n3. Transform all Manifests to thin\n4. Remove empty Manifests\n5. Convert all stale $Header$\/$Id$ CVS keywords to non-expanded Git $Id$\n5.1. Do not touch files with -kb\/-ko keyword flags.\n\nSigned-off-by: Robin H. Johnson \nX-Thanks: Alec Warner - did the GSoC 2006 migration tests\nX-Thanks: Robin H. Johnson - infra guy, herding this project\nX-Thanks: Nguyen Thai Ngoc Duy - Former Gentoo developer, wrote Git features for the migration\nX-Thanks: Brian Harring - wrote much python to improve cvs2svn\nX-Thanks: Rich Freeman - validation scripts\nX-Thanks: Patrick Lauer - Gentoo dev, running new 2014 work in migration\nX-Thanks: Michał Górny - scripts, QA, nagging\nX-Thanks: All of other Gentoo developers - many ideas and lots of paint on the bikeshed","commitid":"56bd759df1d0c750a065b8c845e93d5dfa6b549d","committime":"2015-08-08T20:49:04","packageid":47766,"repoid":1,"summary":"proj\/gentoo: Initial commit"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"a637bd65b7fef8e2be4e7fc6e9097479372e0e2e","committime":"2015-06-19T16:38:33","packageid":47766,"repoid":1,"summary":"2015-06-19 16:35:30 UTC"}],"dependencies":[{"block":false,"categoryid":450,"description":"Programming language supporting functional, imperative & object-oriented styles","ebuildids":[843033,892852],"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":[843033,892852],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"findlib","packageid":51288},{"block":false,"categoryid":396,"description":"Virtual for libz.so providers","ebuildids":[843033,892852],"firstseen":"2025-11-04T07:31:41.418357","name":"zlib","packageid":78605}],"depending":[{"block":false,"categoryid":317,"description":"Coq\/Rocq is a proof assistant written in O'Caml","ebuildids":[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":314,"description":"Modules for OCaml application-level Internet protocols","ebuildids":[857090,857090,857091,857091],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"ocamlnet","packageid":49819},{"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":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":314,"description":"Minimal HTTP server with a small request router","ebuildids":[841585,841585,841920,841920,877049,877049],"firstseen":"2022-07-12T06:25:07.360748","name":"tiny_httpd","packageid":75156},{"block":false,"categoryid":314,"description":"Generic, composable IO input and output streams","ebuildids":[841919,841919],"firstseen":"2024-10-20T19:22:07.144558","name":"iostream","packageid":77783}],"ebuilds":[{"archs":["~amd64","~arm","~arm64","~ppc","~ppc64","~riscv","~x86"],"ebuildid":892852,"firstseen":"2026-03-15T13:36:23.090905","license":"LGPL-2.1","moddate":"2026-03-15T13:36:22","packageid":47766,"repoid":1,"slot":"1\/1.14","uses":["ocamlopt"],"version":"1.14"},{"archs":["amd64","arm","arm64","ppc64","x86","~ppc","~riscv"],"ebuildid":843033,"firstseen":"2024-11-02T16:02:34.646661","license":"LGPL-2.1","moddate":"2026-03-07T19:20:49","packageid":47766,"repoid":1,"slot":"1\/1.13","uses":["ocamlopt"],"version":"1.13"}],"masks":[],"package":{"categoryid":314,"description":"Compressed file access ML library (ZIP, GZIP and JAR)","firstseen":"2010-05-04T00:54:45.661860","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"camlzip","packageid":47766},"rdependencies":[{"block":false,"categoryid":450,"description":"Programming language supporting functional, imperative & object-oriented styles","ebuildids":[843033,843033,892852,892852],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"ocaml","packageid":49590},{"block":false,"categoryid":396,"description":"Virtual for libz.so providers","ebuildids":[843033,892852],"firstseen":"2025-11-04T07:31:41.418357","name":"zlib","packageid":78605}],"repos":[{"branch":"master","lastcommit":"52197549fd3431fa256b8edbafdcd3702dd0e134","name":"gentoo","path":"\/usr\/portage","repoid":1,"upstream":"origin"}],"tracked":false,"urls":["https:\/\/github.com\/xavierleroy\/camlzip"],"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"}]}