{"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."}],"changelog":[{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"577f4ed2a7f05e027634e2b45b4e3b07b2b74185","committime":"2024-10-15T15:33:17","packageid":68076,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"d333a2a049e8a20f5589189b4bdaea403419b68b","committime":"2024-10-15T15:24:13","packageid":68076,"repoid":1,"summary":"dev-ml\/ocplib-simplex: Stabilize 0.5.1 amd64, #941576"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"85f5a22f9571727413857f927c3f1af0c7bb982f","committime":"2024-07-10T13:19:02","packageid":68076,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Signed-off-by: Alfredo Tupone ","commitid":"4dcab49aee7096c9a1fc52b5136ee080bb3b24e1","committime":"2024-07-10T13:06:55","packageid":68076,"repoid":1,"summary":"dev-ml\/ocplib-simplex: add 0.5.1"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"ef354844f4af50c36656ea7076dcd7b7fa3647b2","committime":"2024-06-07T17:48:44","packageid":68076,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Closes: https:\/\/bugs.gentoo.org\/832814\nSigned-off-by: Alfredo Tupone ","commitid":"b80fa62ec676f6e2064bac576610e2417483eb35","committime":"2024-06-07T17:36:46","packageid":68076,"repoid":1,"summary":"dev-ml\/ocplib-simplex: FLAGS are ignored in the eclass"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"5aa38a00bbae915c466d64a84d4f9d3c2b59ade9","committime":"2023-10-08T15:31:55","packageid":68076,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"arthurzam@gentoo.org","authorname":"Arthur Zamarin","body":"Signed-off-by: Arthur Zamarin ","commitid":"aea883b1978a9dab0df4a0de20e55a71c3b9c3d1","committime":"2023-10-08T15:29:21","packageid":68076,"repoid":1,"summary":"dev-ml\/ocplib-simplex: Stabilize 0.4.1 amd64, #915371"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"e80c8bbb8c86bd0ec484349be97863144e6ed7a0","committime":"2023-09-02T13:31:45","packageid":68076,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Signed-off-by: Alfredo Tupone ","commitid":"29c52b5bd7a55b4d023a2fd4d6db9fadc8beeb3a","committime":"2023-09-02T13:15:33","packageid":68076,"repoid":1,"summary":"dev-ml\/ocplib-simplex: add 0.4.1"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"824405877a9f8947595238a7dfec9a60b7e7c5e5","committime":"2021-04-16T11:35:32","packageid":68076,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"c3cf069d7fd86bba122fe4f61c58ed4de7b1bdb9","committime":"2021-04-15T08:15:38","packageid":68076,"repoid":1,"summary":"dev-ml\/ocplib-simplex: multilib--"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"7874f3e8c02b767a5ea953cde1acda08a30df035","committime":"2021-03-15T04:21:06","packageid":68076,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James ","commitid":"3474fb5d222b8f2bccdf02ddce7a1b70ec6a1055","committime":"2021-03-15T03:13:21","packageid":68076,"repoid":1,"summary":"dev-ml\/ocplib-simplex: drop 0.3"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"e5f89936c7eafab7857810396dcc3bb7e2fe518e","committime":"2020-06-13T21:05:14","packageid":68076,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Alfredo Tupone","body":"Closes: https:\/\/bugs.gentoo.org\/728040\nPackage-Manager: Portage-2.3.99, Repoman-2.3.22\nSigned-off-by: Alfredo Tupone ","commitid":"8982970356da7bc7349bf7be8754a6aed8b17fe3","committime":"2020-06-13T20:52:23","packageid":68076,"repoid":1,"summary":"dev-ml\/ocplib-simplex: respect LDFLAGS and remove warning"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"44138cff19c2d48745fe38c232e5be06cccca3c6","committime":"2019-10-21T07:25:29","packageid":68076,"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":"b1f1002da34b5b44cff3556179480d8834bafb41","committime":"2019-10-21T07:10:00","packageid":68076,"repoid":1,"summary":"dev-ml\/ocplib-simplex: Stable version"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"dbc0eb9dea95559ab22ebcc564cc12f9fcf5c1a3","committime":"2019-07-25T20:06:31","packageid":68076,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Tupone Alfredo","body":"Closes: https:\/\/bugs.gentoo.org\/690710\nSigned-off-by: Alfredo Tupone \nPackage-Manager: Portage-2.3.66, Repoman-2.3.11","commitid":"fe54cc9f716a9d052122dba7556f796dc0517926","committime":"2019-07-25T19:35:00","packageid":68076,"repoid":1,"summary":"dev-ml\/ocplib-simplex: Fix SRC_URI"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"e6ea0922194e309cfddfc5bb0d2b8247c13e6b83","committime":"2019-07-24T21:26:24","packageid":68076,"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":"f434a796c41389a3f36a10adfa27e97149eddb79","committime":"2019-07-24T21:13:11","packageid":68076,"repoid":1,"summary":"dev-ml\/ocplib-simplex: version bump to 0.4"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"be828f7d6d7296dd8471595f995ebf422be3d64e","committime":"2018-07-27T06:44:02","packageid":68076,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Tupone Alfredo","body":"Package-Manager: Portage-2.3.40, Repoman-2.3.9","commitid":"e2761d576b314a6eadcdb243888c8a35baa1bb48","committime":"2018-07-27T06:39:26","packageid":68076,"repoid":1,"summary":"dev-ml\/ocplib-simplex: Stabilizing"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"5de434b24bdda1649efd871a81503633ea6903eb","committime":"2017-10-15T19:03:34","packageid":68076,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Tupone Alfredo","body":"Package-Manager: Portage-2.3.8, Repoman-2.3.3","commitid":"c8b217e31993ef551e27197e7d8b7f3658a297bc","committime":"2017-10-15T18:45:25","packageid":68076,"repoid":1,"summary":"dev-ml\/ocplib-simplex: configure.ac depends fix. Bug #634344"},{"authoremail":"repo-qa-checks@gentoo.org","authorname":"Repository QA checks","commitid":"0246eac9d75f5186b70ff56d43aec76bb5f41c9e","committime":"2017-10-12T18:43:28","packageid":68076,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"tupone@gentoo.org","authorname":"Tupone Alfredo","body":"Package-Manager: Portage-2.3.8, Repoman-2.3.3","commitid":"10942bf83b1eaff5647af5f136793bcb993bd022","committime":"2017-10-12T18:38:34","packageid":68076,"repoid":1,"summary":"dev-ml\/ocplib-simplex: Add dev-ml\/ocplib-simplex-0.3"}],"dependencies":[{"block":false,"categoryid":450,"description":"Programming language supporting functional, imperative & object-oriented styles","ebuildids":[832540],"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":[652474,798342],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"findlib","packageid":51288},{"block":false,"categoryid":314,"description":"A composable build system for OCaml","ebuildids":[832540],"firstseen":"2019-07-25T19:34:21.841979","name":"dune","packageid":69971}],"depending":[{"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."}],"ebuilds":[{"archs":["amd64"],"ebuildid":832540,"firstseen":"2024-07-10T14:33:15.833493","license":"LGPL-2.1-with-linking-exception","moddate":"2024-10-15T15:47:35","packageid":68076,"repoid":1,"slot":"0","uses":["ocamlopt","test"],"version":"0.5.1"},{"archs":["amd64"],"ebuildid":798342,"firstseen":"2023-09-02T14:33:27.903627","license":"LGPL-2.1-with-linking-exception","moddate":"2024-12-17T22:35:44","packageid":68076,"repoid":1,"slot":"0","uses":["ocamlopt"],"version":"0.4.1"},{"archs":["amd64"],"ebuildid":652474,"firstseen":"2019-07-24T21:27:13.357379","license":"LGPL-2.1-with-linking-exception","moddate":"2024-12-17T22:35:44","packageid":68076,"repoid":1,"slot":"0","uses":["ocamlopt"],"version":"0.4"}],"masks":[],"package":{"categoryid":314,"description":"A library implementing a simplex algorithm","firstseen":"2017-10-12T18:48:54.473910","name":"ocplib-simplex","packageid":68076,"summary":"A library implementing a simplex algorithm, in a functional style, for solving systems of linear inequalities"},"rdependencies":[{"block":false,"categoryid":450,"description":"Programming language supporting functional, imperative & object-oriented styles","ebuildids":[652474,798342,832540],"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":[832540],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"ml@gentoo.org","maintainername":"Gentoo ML Project","name":"findlib","packageid":51288},{"block":false,"categoryid":314,"description":"Logging infrastructure for OCaml","ebuildids":[832540],"firstseen":"2017-02-23T14:36:19.073700","name":"logs","packageid":66565},{"block":false,"categoryid":314,"description":"A composable build system for OCaml","ebuildids":[832540],"firstseen":"2019-07-25T19:34:21.841979","name":"dune","packageid":69971}],"repos":[{"branch":"master","lastcommit":"9eec97a1e0965fefa0c4b44c94f1139bd1bf90be","name":"gentoo","path":"\/usr\/portage","repoid":1,"upstream":"origin"}],"tracked":false,"urls":["https:\/\/github.com\/OCamlPro-Iguernlala\/ocplib-simplex"],"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 ocamlopt support (ocaml native code compiler) -- Produces faster programs (Warning: you have to disable\/enable it at a global scale)","isdefault":false,"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"}]}