Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/sci-mathematics/why3
Commit message (Collapse)AuthorAgeFilesLines
* sci-mathematics/why3: bump to 1.5.1Maciej Barć2022-09-192-0/+104
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/why3: use httpsMichael Mair-Keimberger2022-07-263-3/+3
| | | | | | Signed-off-by: Michael Mair-Keimberger <mmk@levelnine.at> Portage 3.0.34 / pkgdev 0.2.1 / pkgcheck 0.10.11 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* sci-mathematics/why3: remove unnecessary seq dependencyMaciej Barć2022-07-233-3/+3
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/why3: bump to 1.5.0François-Xavier Carton2022-05-073-0/+105
| | | | | | Signed-off-by: François-Xavier Carton <fx.carton91@gmail.com> Closes: https://github.com/gentoo/gentoo/pull/25372 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/why3: increase required menhir versionMaciej Barć2022-04-162-3/+3
| | | | | | | | | this is a very minor change to keep it in sync with https://opam.ocaml.org/packages/why3 also, no bump is needed since 20170418 version is long gone from ::gentoo Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/why3: bump to 1.4.1Maciej Barć2022-03-042-0/+99
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* **/metadata.xml: Replace http by https in DOCTYPE elementUlrich Müller2022-01-251-1/+1
| | | | | | Again. :( Signed-off-by: Ulrich Müller <ulm@gentoo.org>
* sci-mathematics/why3: add sci-mathematics to maintainersMaciej Barć2022-01-171-0/+4
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/why3: fix race condition in parallel make docFrançois-Xavier Carton2022-01-151-0/+1
| | | | | | | | | | | | | | "make doc" uses sphinx to build both latex and html documentation. Both sphinx rules in the makefile include "-d doc/.doctrees", ie. the same path for "the cached environment and doctree files". In a parallel make build, the rules are called simulateously, which means the cached files could be read by one process while they are still being written by the other. Closes: https://bugs.gentoo.org/831168 Signed-off-by: François-Xavier Carton <fx.carton91@gmail.com> Closes: https://github.com/gentoo/gentoo/pull/23802 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/why3: add missing latex dependenciesFrançois-Xavier Carton2022-01-131-1/+3
| | | | | | | Closes: https://bugs.gentoo.org/828997 Closes: https://github.com/gentoo/gentoo/pull/23774 Signed-off-by: François-Xavier Carton <fx.carton91@gmail.com> Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/why3: fix *DEPENDMaciej Barć2021-12-121-14/+17
| | | | | | Closes: https://bugs.gentoo.org/828974 Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/why3: new package; add version 1.4.0Maciej Barć2021-12-123-0/+126
Move from ::guru to ::gentoo, add François-Xavier Carton as a co-maintainer. Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>