sci-mathematics/why3 – Gentoo Packages

Packages

Get Gentoo!

Latest Commits

Commits on 2024-11-20
- sci-mathematics/why3: Fix sa_handler signature
  4a95491
  Alfredo Tupone committed on 2024-11-20 21:45:10 UTC
  sci-mathematics/why3/files/why3-1.7.2-signum.patchsci-mathematics/why3/why3-1.7.2.ebuild
Commits on 2024-11-19
- sci-mathematics/why3: add 1.7.2
  9ed530d
  Alfredo Tupone committed on 2024-11-19 20:03:14 UTC
  sci-mathematics/why3/why3-1.7.2.ebuildsci-mathematics/why3/Manifest
Commits on 2023-07-15
- sci-mathematics/why3: drop old 1.5.1
  0eb4191
  Maciej Barć committed on 2023-07-15 22:17:02 UTC
  sci-mathematics/why3/Manifestsci-mathematics/why3/why3-1.5.1.ebuild
- sci-mathematics/why3: drop old 1.4.1-r1
  8172b96
  Maciej Barć committed on 2023-07-15 22:17:01 UTC
  sci-mathematics/why3/Manifestsci-mathematics/why3/why3-1.4.1-r1.ebuild
Commits on 2023-04-01
- sci-mathematics/why3: drop old 1.5.0-r1
  55c35b5
  Maciej Barć committed on 2023-04-01 22:35:48 UTC
  sci-mathematics/why3/Manifestsci-mathematics/why3/why3-1.5.0-r1.ebuild
- sci-mathematics/why3: drop old 1.4.0-r3
  c369073
  Maciej Barć committed on 2023-04-01 22:35:47 UTC
  sci-mathematics/why3/Manifestsci-mathematics/why3/why3-1.4.0-r3.ebuild
- sci-mathematics/why3: bump to 1.6.0
  ee8a6c7
  Maciej Barć committed on 2023-04-01 22:35:47 UTC
  sci-mathematics/why3/why3-1.6.0.ebuildsci-mathematics/why3/Manifest
Commits on 2022-09-19
- sci-mathematics/why3: bump to 1.5.1
  0e667f1
  Maciej Barć committed on 2022-09-19 18:59:23 UTC
  sci-mathematics/why3/why3-1.5.1.ebuildsci-mathematics/why3/Manifest
Commits on 2022-07-26
- sci-mathematics/why3: use https
  5c16384
  Michael Mair-Keimberger authored and Alfredo Tupone committed on 2022-07-26 19:54:10 UTC
  sci-mathematics/why3/why3-1.4.0-r3.ebuildsci-mathematics/why3/why3-1.4.1-r1.ebuildsci-mathematics/why3/why3-1.5.0-r1.ebuild
Commits on 2022-07-23
- sci-mathematics/why3: remove unnecessary seq dependency
  28fa4c5
  Maciej Barć committed on 2022-07-23 00:03:18 UTC
  sci-mathematics/why3/why3-1.4.0-r3.ebuildsci-mathematics/why3/why3-1.4.1-r1.ebuildsci-mathematics/why3/why3-1.5.0-r1.ebuildsci-mathematics/why3/why3-1.4.0-r2.ebuildsci-mathematics/why3/why3-1.4.1.ebuildsci-mathematics/why3/why3-1.5.0.ebuild
Commits on 2022-05-07
- sci-mathematics/why3: bump to 1.5.0
  7a4a24d
  François-Xavier Carton authored and Maciej Barć committed on 2022-05-07 16:50:25 UTC
  sci-mathematics/why3/why3-1.5.0.ebuildsci-mathematics/why3/Manifestsci-mathematics/why3/metadata.xml
Commits on 2022-04-16
- sci-mathematics/why3: increase required menhir version
  e0300e3
  Maciej Barć committed on 2022-04-16 21:24:41 UTC
  sci-mathematics/why3/why3-1.4.0-r2.ebuildsci-mathematics/why3/why3-1.4.1.ebuild
Commits on 2022-03-04
- sci-mathematics/why3: bump to 1.4.1
  da14091
  Maciej Barć committed on 2022-03-04 11:02:09 UTC
  sci-mathematics/why3/why3-1.4.1.ebuildsci-mathematics/why3/Manifest
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/why3/metadata.xml
Commits on 2022-01-17
- sci-mathematics/why3: add sci-mathematics to maintainers
  586be94
  Maciej Barć committed on 2022-01-17 21:22:51 UTC
  sci-mathematics/why3/metadata.xml
Commits on 2022-01-15
- sci-mathematics/why3: fix race condition in parallel make doc
  5377b0e
  François-Xavier Carton authored and Maciej Barć committed on 2022-01-15 06:00:17 UTC
  sci-mathematics/why3/why3-1.4.0-r2.ebuild
Commits on 2022-01-13
- sci-mathematics/why3: add missing latex dependencies
  c87b6ea
  François-Xavier Carton authored and Maciej Barć committed on 2022-01-13 16:38:07 UTC
  sci-mathematics/why3/why3-1.4.0-r2.ebuildsci-mathematics/why3/why3-1.4.0-r1.ebuild
Commits on 2021-12-12
- sci-mathematics/why3: fix *DEPEND
  6168601
  Maciej Barć committed on 2021-12-12 12:14:50 UTC
  sci-mathematics/why3/why3-1.4.0-r1.ebuildsci-mathematics/why3/why3-1.4.0.ebuild
- sci-mathematics/why3: new package; add version 1.4.0
  afa23b7
  Maciej Barć committed on 2021-12-12 01:59:46 UTC
  sci-mathematics/why3/Manifestsci-mathematics/why3/metadata.xmlsci-mathematics/why3/why3-1.4.0.ebuild