{"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":381,"name":"sys-libs","summary":"The sys-libs category contains various system-level libraries."}],"changelog":[{"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":[668031,726016,841408,843033],"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":[668031,726016,841408,843033],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"findlib","packageid":51288},{"block":false,"categoryid":381,"description":"Standard (de)compression library","ebuildids":[668031,726016,841408,843033],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"base-system@gentoo.org","maintainername":"Gentoo Base System","name":"zlib","packageid":55408}],"depending":[{"block":false,"categoryid":314,"description":"Modules for OCaml application-level Internet protocols","ebuildids":[704411,704411,772804,772804],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"ocamlnet","packageid":49819},{"block":false,"categoryid":314,"description":"Library to perform analysis on package repositories","ebuildids":[729398,729398],"firstseen":"2014-10-28T14:38:24.907655","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"dose3","packageid":62736},{"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."},{"block":false,"categoryid":314,"description":"Minimal HTTP server with a small request router","ebuildids":[776385,776385,841585,841585,841920,841920],"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":843033,"firstseen":"2024-11-02T16:02:34.646661","license":"LGPL-2.1","moddate":"2024-11-02T16:02:34","packageid":47766,"repoid":1,"slot":"1\/1.13","uses":["ocamlopt"],"version":"1.13"},{"archs":["~amd64","~arm","~arm64","~ppc","~ppc64","~riscv","~x86"],"ebuildid":841408,"firstseen":"2024-10-16T07:32:23.108284","license":"LGPL-2.1","moddate":"2024-10-16T06:32:22","packageid":47766,"repoid":1,"slot":"1\/1.12","uses":["ocamlopt"],"version":"1.12"},{"archs":["amd64","arm","arm64","ppc64","x86","~ppc","~riscv"],"ebuildid":726016,"firstseen":"2021-10-06T02:38:38.209901","license":"LGPL-2.1","moddate":"2024-06-01T21:51:26","packageid":47766,"repoid":1,"slot":"1\/1.11","uses":["ocamlopt"],"version":"1.11"},{"archs":["amd64","arm","arm64","ppc64","x86","~ppc"],"ebuildid":668031,"firstseen":"2020-02-17T08:13:22.051084","license":"LGPL-2.1","moddate":"2024-06-01T21:51:26","packageid":47766,"repoid":1,"slot":"1\/1.10","uses":["ocamlopt"],"version":"1.10"}],"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":[668031,668031,726016,726016,841408,841408,843033,843033],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"ocaml","packageid":49590},{"block":false,"categoryid":381,"description":"Standard (de)compression library","ebuildids":[668031,726016,841408,843033],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"base-system@gentoo.org","maintainername":"Gentoo Base System","name":"zlib","packageid":55408}],"repos":[{"branch":"master","lastcommit":"a84ec7b433c73fd192973d95460d878e0140612d","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"}]}