{"bugs":[{"bugid":942134,"firstseen":"2025-07-11T02:48:40.189262","severity":"normal","status":"CONFIRMED","summary":"sci-mathematics\/psmt2-frontend-0.4.0 installs files that contain a TEXTREL"}],"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."}],"changelog":[{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"fd13df612449578f65612faa9ecbdd4789cecd4b","committime":"2025-02-15T12:48:27","packageid":69972,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Signed-off-by: Alfredo Tupone ","commitid":"bc18903fe77e206fe320c5248752969e30cdfe8d","committime":"2025-02-15T12:27:45","packageid":69972,"repoid":1,"summary":"sci-mathematics\/psmt2-frontend: keyword 0.4.0 for ~arm64"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"47e137f8d0a501743db2474c68ca415a4eba8263","committime":"2024-03-08T12:03:50","packageid":69972,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Closes: https:\/\/bugs.gentoo.org\/926434\nSigned-off-by: Maciej Barć ","commitid":"0e7f215320a3eacdb4ae0f9f80de97115ff003fa","committime":"2024-03-08T10:33:26","packageid":69972,"repoid":1,"summary":"sci-mathematics\/psmt2-frontend: drop old 0.2"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"867e2d2fcda816d221c5f511f19005027f9dc2ea","committime":"2022-03-02T09:21:49","packageid":69972,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"ago@gentoo.org","authorname":"Agostino Sarubbo","body":"Package-Manager: Portage-3.0.30, Repoman-3.0.3\nRepoMan-Options: --include-arches=\"amd64\"\nSigned-off-by: Agostino Sarubbo ","commitid":"bf1a25f73bc0b5fe1acc21c93253adca9f08ef95","committime":"2022-03-02T09:04:42","packageid":69972,"repoid":1,"summary":"sci-mathematics\/psmt2-frontend: amd64 stable wrt bug #834375"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"acb75e991be12ec2249eda65f390ff62de590500","committime":"2021-12-28T00:07:42","packageid":69972,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Package-Manager: Portage-3.0.28, Repoman-3.0.3\nSigned-off-by: Maciej Barć ","commitid":"db8c4170efe4daa96a19aad54a72836f04a463b5","committime":"2021-12-27T23:40:12","packageid":69972,"repoid":1,"summary":"sci-mathematics\/psmt2-frontend: bump to 0.4.0"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"ca72305d50c2ca32ab6350dc29048cb37fe2ff84","committime":"2020-05-27T19:35:43","packageid":69972,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Closes: https:\/\/bugs.gentoo.org\/725556\nPackage-Manager: Portage-2.3.99, Repoman-2.3.22\nSigned-off-by: Alfredo Tupone ","commitid":"46c1b0e31c9201a28a9c83bf3704f135c60f0406","committime":"2020-05-27T19:00:45","packageid":69972,"repoid":1,"summary":"sci-mathematics\/psmt2-frontend: ignore CFLAGS warning"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"77856f1f59d1a1e58fac2e3ebe851eb05159efd6","committime":"2019-10-29T21:25:41","packageid":69972,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Tupone Alfredo","body":"Closes: https:\/\/bugs.gentoo.org\/698858\nPackage-Manager: Portage-2.3.76, Repoman-2.3.16\nSigned-off-by: Alfredo Tupone ","commitid":"4ded99a3df1b8cdf0aa8dc29b8589f4817e12e55","committime":"2019-10-29T21:11:58","packageid":69972,"repoid":1,"summary":"sci-mathematics\/psmt2-frontend: fix make install"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"485adfe38c0a46587ed7daa2738f39d6eb2c4118","committime":"2019-10-28T20:25:42","packageid":69972,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Tupone Alfredo","body":"Package-Manager: Portage-2.3.76, Repoman-2.3.16\nSigned-off-by: Alfredo Tupone ","commitid":"0fbc12d5089b5aa754eea8751ea5c20608120062","committime":"2019-10-28T20:08:31","packageid":69972,"repoid":1,"summary":"sci-mathematics\/psmt2-frontend: rename configure.in to ac"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"60964b314562451bbf16c2e4588e9934515bf9f1","committime":"2019-10-21T18:45:30","packageid":69972,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Tupone Alfredo","body":"Package-Manager: Portage-2.3.69, Repoman-2.3.16\nSigned-off-by: Alfredo Tupone ","commitid":"058cedbfb3da3d26ec61856e346d2ad93c09c28d","committime":"2019-10-21T18:29:41","packageid":69972,"repoid":1,"summary":"sci-mathematics\/psmt2-frontend: Stable version"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"b06ee3d7197646d78da2480ad3337e9ed760f6e7","committime":"2019-07-26T07:07:31","packageid":69972,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Tupone Alfredo","body":"Signed-off-by: Alfredo Tupone \nPackage-Manager: Portage-2.3.66, Repoman-2.3.11","commitid":"1080ec3defe35b1161935994afc48310b1f1ec27","committime":"2019-07-26T06:44:09","packageid":69972,"repoid":1,"summary":"sci-mathematics\/psmt2-frontend: add psmt2-frontend"}],"dependencies":[{"block":false,"categoryid":450,"description":"Programming language supporting functional, imperative & object-oriented styles","ebuildids":[734807],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"ocaml","packageid":49590},{"block":false,"categoryid":314,"description":"LR(1) parser generator for the OCaml language","ebuildids":[734807],"firstseen":"2013-02-08T14:36:53.188287","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"menhir","packageid":60329},{"block":false,"categoryid":314,"description":"A composable build system for OCaml","ebuildids":[734807],"firstseen":"2019-07-25T19:34:21.841979","name":"dune","packageid":69971}],"depending":[{"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."}],"ebuilds":[{"archs":["amd64","~arm64","~x86"],"ebuildid":734807,"firstseen":"2021-12-28T00:25:42.790563","license":"Apache-2.0","moddate":"2026-03-29T19:42:48","packageid":69972,"repoid":1,"slot":"0\/0.4.0","uses":["ocamlopt","test"],"version":"0.4.0"}],"masks":[],"package":{"categoryid":317,"description":"Library to parse and type-check an extension of the SMT-LIB 2 standard","firstseen":"2019-07-26T07:18:04.713000","name":"psmt2-frontend","packageid":69972,"summary":"psmt2-frontend is an OCaml library to parse and type-check a conservative extension of the SMT-LIB 2 standard with prenex polymorphism."},"rdependencies":[{"block":false,"categoryid":450,"description":"Programming language supporting functional, imperative & object-oriented styles","ebuildids":[734807],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"ocaml","packageid":49590},{"block":false,"categoryid":314,"description":"LR(1) parser generator for the OCaml language","ebuildids":[734807],"firstseen":"2013-02-08T14:36:53.188287","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"menhir","packageid":60329},{"block":false,"categoryid":314,"description":"A composable build system for OCaml","ebuildids":[734807],"firstseen":"2019-07-25T19:34:21.841979","name":"dune","packageid":69971}],"repos":[{"branch":"master","lastcommit":"52197549fd3431fa256b8edbafdcd3702dd0e134","name":"gentoo","path":"\/usr\/portage","repoid":1,"upstream":"origin"}],"tracked":false,"urls":["https:\/\/github.com\/OCamlPro-Coquera\/psmt2-frontend"],"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"},{"description":"Enable dependencies and\/or preparations necessary to run tests (usually controlled by FEATURES=test but can be toggled independently)","isdefault":false,"use":"test"}]}