Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/sci-mathematics/easycrypt
Commit message (Collapse)AuthorAgeFilesLines
* sci-mathematics/easycrypt: add Why3 constraints for older EC versionsMaciej Barć2022-05-072-2/+2
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/easycrypt: drop old 1.0_pre20211210-r2Maciej Barć2022-05-072-46/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/easycrypt: bump to 2022.04_p20220505Maciej Barć2022-05-072-0/+46
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/easycrypt: bump to 2022.04Maciej Barć2022-04-272-0/+44
| | | | | Closes: https://bugs.gentoo.org/841254 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/easycrypt: bump to 1.0_pre20220303 (2022.03.03 snapshot)Maciej Barć2022-03-042-0/+46
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/easycrypt: fix theories location; bump to EAPI 8Maciej Barć2022-01-301-5/+12
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* **/metadata.xml: Replace http by https in DOCTYPE elementUlrich Müller2022-01-251-1/+1
| | | | | | Again. :( Signed-off-by: Ulrich Müller <ulm@gentoo.org>
* sci-mathematics/easycrypt: add sci-mathematics to maintainersMaciej Barć2022-01-171-0/+4
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/easycrypt: fix ocaml dependencyMaciej Barć2021-12-121-1/+1
| | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/easycrypt: new package; add version 1.0_pre20211210Maciej Barć2021-12-123-0/+57
Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>