Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/sci-mathematics/easycrypt
Commit message (Expand)AuthorAgeFilesLines
* sci-mathematics/easycrypt: bump to 2024.01Maciej Barć2024-02-032-0/+50
* sci-mathematics/easycrypt: drop old 2022.04_p20230324Maciej Barć2024-02-032-52/+0
* sci-mathematics/easycrypt: bump to 2023.09Maciej Barć2023-09-302-0/+51
* sci-mathematics/easycrypt: drop old 2022.04_p20220505Maciej Barć2023-07-162-46/+0
* sci-mathematics/easycrypt: drop old 2022.04-r1Maciej Barć2023-04-022-44/+0
* sci-mathematics/easycrypt: drop old 1.0_pre20220303-r1Maciej Barć2023-04-022-46/+0
* sci-mathematics/easycrypt: bump to 2022.04_p20230324Maciej Barć2023-04-022-0/+52
* sci-mathematics/easycrypt: H -> COMMITMaciej Barć2023-02-022-10/+10
* sci-mathematics/easycrypt: add Why3 constraints for older EC versionsMaciej Barć2022-05-072-2/+2
* sci-mathematics/easycrypt: drop old 1.0_pre20211210-r2Maciej Barć2022-05-072-46/+0
* sci-mathematics/easycrypt: bump to 2022.04_p20220505Maciej Barć2022-05-072-0/+46
* sci-mathematics/easycrypt: bump to 2022.04Maciej Barć2022-04-272-0/+44
* sci-mathematics/easycrypt: bump to 1.0_pre20220303 (2022.03.03 snapshot)Maciej Barć2022-03-042-0/+46
* sci-mathematics/easycrypt: fix theories location; bump to EAPI 8Maciej Barć2022-01-301-5/+12
* **/metadata.xml: Replace http by https in DOCTYPE elementUlrich Müller2022-01-251-1/+1
* sci-mathematics/easycrypt: add sci-mathematics to maintainersMaciej Barć2022-01-171-0/+4
* sci-mathematics/easycrypt: fix ocaml dependencyMaciej Barć2021-12-121-1/+1
* sci-mathematics/easycrypt: new package; add version 1.0_pre20211210Maciej Barć2021-12-123-0/+57