{"bugs":[{"bugid":707834,"firstseen":"2025-07-11T02:48:40.189262","severity":"normal","status":"CONFIRMED","summary":"dev-util\/herdtools7-7.54 version bump"},{"bugid":951714,"firstseen":"2025-07-11T02:48:40.189262","severity":"normal","status":"CONFIRMED","summary":"dev-util\/herdtools7-7.51 - [gcc-15] Error: Unbound module Pervasives"}],"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":428,"name":"dev-util","summary":"The dev-util category contains various miscellaneous development utilities."}],"changelog":[{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"51c0446298ad87c008f89aa61e350f718a373b85","committime":"2022-07-24T11:31:32","packageid":68031,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"soap@gentoo.org","authorname":"David Seifert","body":"Signed-off-by: David Seifert <soap@gentoo.org>","commitid":"8ddc10fda1d075c2b0d49d20f89debf92a9daf34","committime":"2022-07-24T11:28:14","packageid":68031,"repoid":1,"summary":"dev-util\/herdtools7: drop 7.47"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"6e151ad147a7250bd799fda3cb24dbc36e37dfb7","committime":"2018-08-03T21:04:04","packageid":68031,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"chutzpah@gentoo.org","authorname":"Patrick McLean","body":"Package-Manager: Portage-2.3.44, Repoman-2.3.10","commitid":"449d47052ac7abec73082c344a16394364fa63f8","committime":"2018-08-03T20:56:00","packageid":68031,"repoid":1,"summary":"dev-utils\/herdtools7: Version bump to 1.51"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"4ef124f4b7816113d75f68080a3c5d4a9303552a","committime":"2017-09-15T19:42:24","packageid":68031,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"chutzpah@gentoo.org","authorname":"Patrick McLean","body":"Package-Manager: Portage-2.3.8, Repoman-2.3.3","commitid":"638b9f87e8d55c88b3c82ce550349098c27f30f3","committime":"2017-09-15T18:22:47","packageid":68031,"repoid":1,"summary":"dev-util\/herdtools7: Fix tarball filename in 7.47 (oops)"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"e2bdf0720e1892dd7818de3dda05a38b7ef2272d","committime":"2017-09-15T18:08:36","packageid":68031,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"chutzpah@gentoo.org","authorname":"Patrick McLean","body":"Package-Manager: Portage-2.3.8, Repoman-2.3.3","commitid":"fdbd8bef321b0affd852dfb1cd3d25a96318872d","committime":"2017-09-15T17:44:38","packageid":68031,"repoid":1,"summary":"dev-util\/herdtools7: Make sure to die properly if build fails, update ocaml dep"},{"authoremail":"chutzpah@gentoo.org","authorname":"Patrick McLean","body":"Package-Manager: Portage-2.3.8, Repoman-2.3.3","commitid":"95b5122d208ce11bc1482999ea368ff7adb85d5b","committime":"2017-09-15T17:43:03","packageid":68031,"repoid":1,"summary":"dev-util\/herdtools7: New package, the Herd toolsuite to deal with .cat memory models"}],"dependencies":[{"block":false,"categoryid":450,"description":"Programming language supporting functional, imperative & object-oriented styles","ebuildids":[628980],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"ocaml","packageid":49590},{"block":false,"categoryid":314,"description":"Generic build tool with built-in rules for building OCaml library and programs","ebuildids":[628980],"firstseen":"2016-03-02T14:42:41.922071","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"ocamlbuild","packageid":65077}],"depending":[],"ebuilds":[{"archs":["~amd64","~x86"],"ebuildid":628980,"firstseen":"2018-08-03T21:07:41.563388","license":"CeCILL-B","moddate":"2025-09-30T17:50:43","packageid":68031,"repoid":1,"slot":"0","uses":[],"version":"7.51"}],"masks":[],"package":{"categoryid":428,"description":"The Herd toolsuite to deal with .cat memory models","firstseen":"2017-09-15T18:15:37.090434","name":"herdtools7","packageid":68031},"rdependencies":[{"block":false,"categoryid":450,"description":"Programming language supporting functional, imperative & object-oriented styles","ebuildids":[628980,628980],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"ocaml","packageid":49590}],"repos":[{"branch":"master","lastcommit":"1f58741385367db432e79500a838ced67b2a773d","name":"gentoo","path":"\/usr\/portage","repoid":1,"upstream":"origin"}],"tracked":false,"urls":["http:\/\/diy.inria.fr\/sources\/index.html"],"uses":[]}