sci-mathematics/easycrypt – Gentoo Packages

Packages

Get Gentoo!

Latest Commits

Commits on 2024-10-06
- sci-mathematics/easycrypt: bump to 2024.09
  1dbb8ef
  Maciej Barć committed on 2024-10-06 19:51:36 UTC
  sci-mathematics/easycrypt/easycrypt-2024.09.ebuildsci-mathematics/easycrypt/Manifest
Commits on 2024-07-02
- sci-mathematics/easycrypt: drop old 2023.09
  0b5c2a9
  Maciej Barć committed on 2024-07-02 14:50:22 UTC
  sci-mathematics/easycrypt/Manifestsci-mathematics/easycrypt/easycrypt-2023.09.ebuild
- sci-mathematics/easycrypt: restrict num to version <1.5
  c51e0da
  Maciej Barć committed on 2024-07-02 14:50:22 UTC
  sci-mathematics/easycrypt/easycrypt-2024.01-r1.ebuildsci-mathematics/easycrypt/easycrypt-2024.01.ebuild
Commits on 2024-02-03
- sci-mathematics/easycrypt: bump to 2024.01
  d9f21a4
  Maciej Barć committed on 2024-02-03 13:00:12 UTC
  sci-mathematics/easycrypt/easycrypt-2024.01.ebuildsci-mathematics/easycrypt/Manifest
- sci-mathematics/easycrypt: drop old 2022.04_p20230324
  6ae7533
  Maciej Barć committed on 2024-02-03 13:00:12 UTC
  sci-mathematics/easycrypt/Manifestsci-mathematics/easycrypt/easycrypt-2022.04_p20230324.ebuild
Commits on 2023-09-30
- sci-mathematics/easycrypt: bump to 2023.09
  3c174a5
  Maciej Barć committed on 2023-09-30 14:33:59 UTC
  sci-mathematics/easycrypt/easycrypt-2023.09.ebuildsci-mathematics/easycrypt/Manifest
Commits on 2023-07-15
- sci-mathematics/easycrypt: drop old 2022.04_p20220505
  66dc697
  Maciej Barć committed on 2023-07-15 22:17:03 UTC
  sci-mathematics/easycrypt/Manifestsci-mathematics/easycrypt/easycrypt-2022.04_p20220505.ebuild
Commits on 2023-04-01
- sci-mathematics/easycrypt: drop old 2022.04-r1
  35adc1a
  Maciej Barć committed on 2023-04-01 22:54:46 UTC
  sci-mathematics/easycrypt/Manifestsci-mathematics/easycrypt/easycrypt-2022.04-r1.ebuild
- sci-mathematics/easycrypt: drop old 1.0_pre20220303-r1
  7de9d17
  Maciej Barć committed on 2023-04-01 22:54:31 UTC
  sci-mathematics/easycrypt/Manifestsci-mathematics/easycrypt/easycrypt-1.0_pre20220303-r1.ebuild
- sci-mathematics/easycrypt: bump to 2022.04_p20230324
  dcb8989
  Maciej Barć committed on 2023-04-01 22:54:13 UTC
  sci-mathematics/easycrypt/easycrypt-2022.04_p20230324.ebuildsci-mathematics/easycrypt/Manifest
Commits on 2023-02-02
- sci-mathematics/easycrypt: H -> COMMIT
  83f6d3e
  Maciej Barć committed on 2023-02-02 17:46:45 UTC
  sci-mathematics/easycrypt/easycrypt-1.0_pre20220303-r1.ebuildsci-mathematics/easycrypt/easycrypt-2022.04_p20220505.ebuild
Commits on 2022-05-07
- sci-mathematics/easycrypt: add Why3 constraints for older EC versions
  800228a
  Maciej Barć committed on 2022-05-07 16:50:26 UTC
  sci-mathematics/easycrypt/easycrypt-1.0_pre20220303-r1.ebuildsci-mathematics/easycrypt/easycrypt-2022.04-r1.ebuildsci-mathematics/easycrypt/easycrypt-1.0_pre20220303.ebuildsci-mathematics/easycrypt/easycrypt-2022.04.ebuild
- sci-mathematics/easycrypt: drop old 1.0_pre20211210-r2
  e48f830
  Maciej Barć committed on 2022-05-07 16:50:25 UTC
  sci-mathematics/easycrypt/Manifestsci-mathematics/easycrypt/easycrypt-1.0_pre20211210-r2.ebuild
- sci-mathematics/easycrypt: bump to 2022.04_p20220505
  8c9c85b
  Maciej Barć committed on 2022-05-07 16:50:25 UTC
  sci-mathematics/easycrypt/easycrypt-2022.04_p20220505.ebuildsci-mathematics/easycrypt/Manifest
Commits on 2022-04-27
- sci-mathematics/easycrypt: bump to 2022.04
  4b39c36
  Maciej Barć committed on 2022-04-27 15:47:48 UTC
  sci-mathematics/easycrypt/easycrypt-2022.04.ebuildsci-mathematics/easycrypt/Manifest
Commits on 2022-03-04
- sci-mathematics/easycrypt: bump to 1.0_pre20220303 (2022.03.03 snapshot)
  60fa98b
  Maciej Barć committed on 2022-03-04 11:12:06 UTC
  sci-mathematics/easycrypt/easycrypt-1.0_pre20220303.ebuildsci-mathematics/easycrypt/Manifest
Commits on 2022-01-30
- sci-mathematics/easycrypt: fix theories location; bump to EAPI 8
  a7fa452
  Maciej Barć committed on 2022-01-30 00:39:00 UTC
  sci-mathematics/easycrypt/easycrypt-1.0_pre20211210-r2.ebuildsci-mathematics/easycrypt/easycrypt-1.0_pre20211210-r1.ebuild
Commits on 2022-01-25
- **/metadata.xml: Replace http by https in DOCTYPE element
  2585fff
  Ulrich Müller committed on 2022-01-25 18:37:45 UTC
  sci-mathematics/easycrypt/metadata.xml
Commits on 2022-01-17
- sci-mathematics/easycrypt: add sci-mathematics to maintainers
  b940730
  Maciej Barć committed on 2022-01-17 21:21:07 UTC
  sci-mathematics/easycrypt/metadata.xml
Commits on 2021-12-12
- sci-mathematics/easycrypt: fix ocaml dependency
  9a4bc2c
  Maciej Barć committed on 2021-12-12 07:12:37 UTC
  sci-mathematics/easycrypt/easycrypt-1.0_pre20211210-r1.ebuildsci-mathematics/easycrypt/easycrypt-1.0_pre20211210.ebuild
- sci-mathematics/easycrypt: new package; add version 1.0_pre20211210
  4f0a8bf
  Maciej Barć committed on 2021-12-12 01:59:47 UTC
  sci-mathematics/easycrypt/Manifestsci-mathematics/easycrypt/easycrypt-1.0_pre20211210.ebuildsci-mathematics/easycrypt/metadata.xml