Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/sci-mathematics/alt-ergo
Commit message (Collapse)AuthorAgeFilesLines
* sci-mathematics/alt-ergo: remove seq reference from dune build fileMaciej Barć2022-11-192-0/+13
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/alt-ergo: 2.4.2 - do not depend on seqMaciej Barć2022-09-241-1/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/alt-ergo: bump to 2.4.2Maciej Barć2022-08-202-0/+56
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/alt-ergo: require ocamloptAlfredo Tupone2022-06-291-0/+1
| | | | | | Closes: https://bugs.gentoo.org/849374 Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* sci-mathematics/alt-ergo: fix OCaml depSam James2022-06-211-2/+2
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/alt-ergo: bump to 2.4.1_p20220407Maciej Barć2022-04-152-0/+52
| | | | | | | | 2022.04.07 snapshot; bumped to get new cmdliner dependency, added in https://github.com/OCamlPro/alt-ergo/commit/92e831bf26b6f9d1478cd263e46e1a088fea29a8 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/alt-ergo: depend on cmdliner <1.1.0Maciej Barć2022-04-151-1/+1
| | | | | | https://opam.ocaml.org/packages/alt-ergo/ Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/alt-ergo: amd64 stable wrt bug #834375Agostino Sarubbo2022-03-021-2/+2
| | | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 RepoMan-Options: --include-arches="amd64" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* sci-mathematics/alt-ergo: fix depsMaciej Barć2021-12-281-1/+5
| | | | | | | Closes: https://bugs.gentoo.org/830140 Closes: https://bugs.gentoo.org/830156 Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/alt-ergo: bump to 2.4.1Maciej Barć2021-12-282-0/+45
| | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/alt-ergo: maint change: tupone -> ml & sciMaciej Barć2021-12-271-15/+21
| | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* **/metadata.xml: Replace http by https in DOCTYPE elementUlrich Müller2021-09-111-1/+1
| | | | | Bug: https://bugs.gentoo.org/552720 Signed-off-by: Ulrich Müller <ulm@gentoo.org>
* sci-mathematics/alt-ergo: Remove oldJakov Smolic2021-01-202-34/+0
| | | | | Signed-off-by: Jakov Smolic <jakov.smolic@sartura.hr> Signed-off-by: David Seifert <soap@gentoo.org>
* sci-mathematics/alt-ergo: enforce ocamlopt=Sam James2021-01-172-4/+4
| | | | | | | | | We need to have ocamlopt on/off consistently throughout the system, so use the '=' operator to force it off where it's disabled on this package. Package-Manager: Portage-3.0.12.0.2-prefix, Repoman-3.0.2 Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/alt-ergo: add subslot deps for OCamlSam James2021-01-172-11/+11
| | | | | | | | We need subslot deps on any OCaml (R)DEPENDs because we must be rebuilt when they update, for consistency. Package-Manager: Portage-3.0.12.0.2-prefix, Repoman-3.0.2 Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/alt-ergo: fix MissingSlotDep in older versionSam James2021-01-172-4/+4
| | | | | | | | Only supports lablgtk:2 for now. See: https://github.com/OCamlPro/alt-ergo/issues/246 Package-Manager: Portage-3.0.12.0.2-prefix, Repoman-3.0.2 Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/alt-ergo: add github remote-idSam James2021-01-171-0/+3
| | | | | Package-Manager: Portage-3.0.12.0.2-prefix, Repoman-3.0.2 Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/alt-ergo: depend only on lablgtk:2Alfredo Tupone2020-12-051-1/+1
| | | | | | Bug: https://bugs.gentoo.org/758638 Package-Manager: Portage-3.0.9, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* sci-mathematics/alt-ergo: fix dependencyAlfredo Tupone2020-12-051-1/+1
| | | | | | Closes: https://bugs.gentoo.org/758245 Package-Manager: Portage-3.0.9, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* sci-mathematics/alt-ergo: better fix for QA_FLAGS_IGNOREDAlfredo Tupone2020-05-271-4/+4
| | | | | | Closes: https://bugs.gentoo.org/725558 Package-Manager: Portage-2.3.99, Repoman-2.3.22 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* sci-mathematics/alt-ergo: fix QA_FLAGS_IGNOREDThomas Deutschmann2020-05-251-2/+2
| | | | | Package-Manager: Portage-2.3.100, Repoman-2.3.22 Signed-off-by: Thomas Deutschmann <whissi@gentoo.org>
* sci-mathematics/alt-ergo: fix dependencyAlfredo Tupone2020-05-251-1/+8
| | | | | | Closes: https://bugs.gentoo.org/716416 Package-Manager: Portage-2.3.99, Repoman-2.3.22 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* sci-mathematics/alt-ergo: fix build with ocaml-4.09Tupone Alfredo2020-03-101-2/+7
| | | | | | Closes: https://bugs.gentoo.org/712032 Package-Manager: Portage-2.3.89, Repoman-2.3.20 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* sci-mathematics/alt-ergo: add dev-ml/seq dependencyTupone Alfredo2019-10-281-0/+1
| | | | | | Closes: https://bugs.gentoo.org/692252 Package-Manager: Portage-2.3.76, Repoman-2.3.16 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* sci-mathematics/alt-ergo: stableTupone Alfredo2019-10-211-1/+1
| | | | | Package-Manager: Portage-2.3.69, Repoman-2.3.16 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* sci-mathematics/alt-ergo: fix BadInsIntoDir warningTupone Alfredo2019-09-122-4/+2
| | | | | Package-Manager: Portage-2.3.69, Repoman-2.3.16 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* sci-mathematics/alt-ergo: fix buildTupone Alfredo2019-09-071-1/+3
| | | | | | Closes: https://bugs.gentoo.org/692252 Package-Manager: Portage-2.3.69, Repoman-2.3.16 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* sci-mathematics/alt-ergo: bump to 2.3.0Tupone Alfredo2019-07-272-0/+43
| | | | | Package-Manager: Portage-2.3.66, Repoman-2.3.16 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* sci-mathematics/alt-ergo: Fix dependencyTupone Alfredo2019-07-251-2/+2
| | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Package-Manager: Portage-2.3.66, Repoman-2.3.11
* sci-mathematics/alt-ergo: Stable releaseTupone Alfredo2018-12-161-2/+2
| | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Package-Manager: Portage-2.3.51, Repoman-2.3.11
* sci-mathematics/alt-ergo: use HTTPsMichael Mair-Keimberger2018-06-021-2/+2
|
* sci-mathematics: Update Manifest hashes.Ulrich Müller2017-12-101-1/+1
|
* sci-mathematics/alt-ergo: Adding alt-ergo 1.30Tupone Alfredo2017-10-143-0/+51
Package-Manager: Portage-2.3.8, Repoman-2.3.3