Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/sci-mathematics/why3
Commit message (Expand)AuthorAgeFilesLines
* sci-mathematics/why3: Fix sa_handler signatureAlfredo Tupone2024-11-202-0/+13
* sci-mathematics/why3: add 1.7.2Alfredo Tupone2024-11-192-0/+108
* sci-mathematics/why3: drop old 1.5.1Maciej Barć2023-07-162-104/+0
* sci-mathematics/why3: drop old 1.4.1-r1Maciej Barć2023-07-162-99/+0
* sci-mathematics/why3: drop old 1.5.0-r1Maciej Barć2023-04-022-104/+0
* sci-mathematics/why3: drop old 1.4.0-r3Maciej Barć2023-04-022-99/+0
* sci-mathematics/why3: bump to 1.6.0Maciej Barć2023-04-022-0/+107
* sci-mathematics/why3: bump to 1.5.1Maciej Barć2022-09-192-0/+104
* sci-mathematics/why3: use httpsMichael Mair-Keimberger2022-07-263-3/+3
* sci-mathematics/why3: remove unnecessary seq dependencyMaciej Barć2022-07-233-3/+3
* sci-mathematics/why3: bump to 1.5.0François-Xavier Carton2022-05-073-0/+105
* sci-mathematics/why3: increase required menhir versionMaciej Barć2022-04-162-3/+3
* sci-mathematics/why3: bump to 1.4.1Maciej Barć2022-03-042-0/+99
* **/metadata.xml: Replace http by https in DOCTYPE elementUlrich Müller2022-01-251-1/+1
* sci-mathematics/why3: add sci-mathematics to maintainersMaciej Barć2022-01-171-0/+4
* sci-mathematics/why3: fix race condition in parallel make docFrançois-Xavier Carton2022-01-151-0/+1
* sci-mathematics/why3: add missing latex dependenciesFrançois-Xavier Carton2022-01-131-1/+3
* sci-mathematics/why3: fix *DEPENDMaciej Barć2021-12-121-14/+17
* sci-mathematics/why3: new package; add version 1.4.0Maciej Barć2021-12-123-0/+126