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: 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