Packages
Get Gentoo!
gentoo.org sites
gentoo.org
Wiki
Bugs
Forums
Packages
Planet
Archives
Sources
Infra Status
Home
Packages
Maintainers
USE flags
Architectures
About
sci-mathematics
/
why3
Platform for deductive program verification
https://why3.lri.fr/
Overview
Dependencies
QA report
Pull requests
0
Bugs
2
Security
0
Changelog
Latest Commits
Atom feed
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/Manifest
sci-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/Manifest
sci-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/Manifest
sci-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/Manifest
sci-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.ebuild
sci-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.ebuild
sci-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.ebuild
sci-mathematics/why3/why3-1.4.1-r1.ebuild
sci-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.ebuild
sci-mathematics/why3/why3-1.4.1-r1.ebuild
sci-mathematics/why3/why3-1.5.0-r1.ebuild
sci-mathematics/why3/why3-1.4.0-r2.ebuild
sci-mathematics/why3/why3-1.4.1.ebuild
sci-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.ebuild
sci-mathematics/why3/Manifest
sci-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.ebuild
sci-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.ebuild
sci-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.ebuild
sci-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.ebuild
sci-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/Manifest
sci-mathematics/why3/metadata.xml
sci-mathematics/why3/why3-1.4.0.ebuild