| Commit message (Collapse) | Author | Age | Files | Lines |
|
|
|
|
|
|
|
| |
2.3.0-r1 overshadowed by 2.4.1-r2
2.4.1_p20220407-r1 overshadowed by 2.4.2-r1
Closes: https://bugs.gentoo.org/769332
Signed-off-by: Andreas Sturmlechner <asturm@gentoo.org>
|
|
|
|
| |
Signed-off-by: Sam James <sam@gentoo.org>
|
|
|
|
| |
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
|
|
|
|
| |
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
|
|
|
|
| |
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
|
|
|
|
|
|
| |
Closes: https://bugs.gentoo.org/849374
Package-Manager: Portage-3.0.30, Repoman-3.0.3
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
|
|
|
|
| |
Signed-off-by: Sam James <sam@gentoo.org>
|
|
|
|
|
|
|
|
| |
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>
|
|
|
|
|
|
| |
https://opam.ocaml.org/packages/alt-ergo/
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
|
|
|
|
|
|
| |
Package-Manager: Portage-3.0.30, Repoman-3.0.3
RepoMan-Options: --include-arches="amd64"
Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
|
|
|
|
|
|
|
| |
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>
|
|
|
|
|
| |
Package-Manager: Portage-3.0.28, Repoman-3.0.3
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
|
|
|
|
|
| |
Package-Manager: Portage-3.0.28, Repoman-3.0.3
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
|
|
|
|
|
| |
Bug: https://bugs.gentoo.org/552720
Signed-off-by: Ulrich Müller <ulm@gentoo.org>
|
|
|
|
|
| |
Signed-off-by: Jakov Smolic <jakov.smolic@sartura.hr>
Signed-off-by: David Seifert <soap@gentoo.org>
|
|
|
|
|
|
|
|
|
| |
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>
|
|
|
|
|
|
|
|
| |
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>
|
|
|
|
|
|
|
|
| |
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>
|
|
|
|
|
| |
Package-Manager: Portage-3.0.12.0.2-prefix, Repoman-3.0.2
Signed-off-by: Sam James <sam@gentoo.org>
|
|
|
|
|
|
| |
Bug: https://bugs.gentoo.org/758638
Package-Manager: Portage-3.0.9, Repoman-3.0.2
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
|
|
|
|
|
|
| |
Closes: https://bugs.gentoo.org/758245
Package-Manager: Portage-3.0.9, Repoman-3.0.2
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
|
|
|
|
|
|
| |
Closes: https://bugs.gentoo.org/725558
Package-Manager: Portage-2.3.99, Repoman-2.3.22
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
|
|
|
|
|
| |
Package-Manager: Portage-2.3.100, Repoman-2.3.22
Signed-off-by: Thomas Deutschmann <whissi@gentoo.org>
|
|
|
|
|
|
| |
Closes: https://bugs.gentoo.org/716416
Package-Manager: Portage-2.3.99, Repoman-2.3.22
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
|
|
|
|
|
|
| |
Closes: https://bugs.gentoo.org/712032
Package-Manager: Portage-2.3.89, Repoman-2.3.20
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
|
|
|
|
|
|
| |
Closes: https://bugs.gentoo.org/692252
Package-Manager: Portage-2.3.76, Repoman-2.3.16
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
|
|
|
|
|
| |
Package-Manager: Portage-2.3.69, Repoman-2.3.16
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
|
|
|
|
|
| |
Package-Manager: Portage-2.3.69, Repoman-2.3.16
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
|
|
|
|
|
|
| |
Closes: https://bugs.gentoo.org/692252
Package-Manager: Portage-2.3.69, Repoman-2.3.16
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
|
|
|
|
|
| |
Package-Manager: Portage-2.3.66, Repoman-2.3.16
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
|
|
|
|
|
| |
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Package-Manager: Portage-2.3.66, Repoman-2.3.11
|
|
|
|
|
| |
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Package-Manager: Portage-2.3.51, Repoman-2.3.11
|
| |
|
| |
|
|
Package-Manager: Portage-2.3.8, Repoman-2.3.3
|