François-Xavier Carton
|
4962103953
|
sci-mathematics/why3: update SRC_URI
Signed-off-by: François-Xavier Carton <fx.carton91@gmail.com>
|
2021-10-01 15:07:43 +02:00 |
|
François-Xavier Carton
|
6bd2366827
|
sci-mathematics/why3: no need to die with emake
Signed-off-by: François-Xavier Carton <fx.carton91@gmail.com>
|
2021-09-04 15:07:40 +02:00 |
|
Alessandro Barbieri
|
9c84830033
|
*/*: add lang="en" to <longdescription>
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
|
2021-06-28 16:15:30 +02:00 |
|
Anna Vyalkova
|
673dc2eb73
|
sci-mathematics/*: inherit findlib eclass
Closes: https://bugs.gentoo.org/784677
Closes: https://bugs.gentoo.org/784671
Signed-off-by: Anna Vyalkova <cyber@sysrq.in>
|
2021-05-02 07:19:40 +05:00 |
|
François-Xavier Carton
|
556d223d1e
|
sci-mathematics/why3: respect CFLAGS & LDFLAGS
Closes: https://bugs.gentoo.org/781650
Signed-off-by: François-Xavier Carton <fx.carton91@gmail.com>
|
2021-04-19 03:15:31 +02:00 |
|
François-Xavier Carton
|
42c0da6a66
|
sci-mathematics/why3: bump to 1.4.0
Signed-off-by: François-Xavier Carton <fx.carton91@gmail.com>
|
2021-03-30 21:32:21 +02:00 |
|
François-Xavier Carton
|
8774c3bacb
|
sci-mathematics/why3: new package
This is a bump from the version in ::science.
Signed-off-by: François-Xavier Carton <fx.carton91@gmail.com>
|
2021-01-09 17:44:42 +01:00 |
|