Alfredo Tupone ea162b812c sci-mathematics/why3-for-spark: fix flags and compression
Closes: https://bugs.gentoo.org/728032
Closes: https://bugs.gentoo.org/728050
Package-Manager: Portage-2.3.99, Repoman-2.3.22
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
2020-06-12 23:24:23 +02:00
2020-06-12 20:02:12 +03:00
2020-06-10 11:54:51 -04:00
2020-06-12 20:02:15 +03:00
2020-06-12 16:32:23 +02:00
2020-06-08 00:28:19 +03:00
2020-06-12 16:32:03 +02:00
2020-06-08 21:07:53 +07:00
2020-05-18 19:30:59 +02:00
2020-06-11 14:25:15 +02:00
2020-06-10 21:54:50 +01:00
2020-06-11 18:21:39 -04:00
2020-06-12 13:30:39 -04:00
2020-06-12 12:07:04 -06:00
2020-06-10 12:44:24 +02:00
2020-06-12 18:33:10 +02:00
2020-06-09 21:31:53 -06:00
2020-06-12 16:27:54 +02:00
2020-05-17 12:55:23 -04:00
2020-06-07 11:30:14 +02:00
2020-06-11 09:29:36 +02:00
2020-06-10 16:49:03 -07:00
2020-05-29 09:16:01 +02:00
2020-06-12 16:32:24 +02:00
2020-06-12 10:34:46 +02:00
2020-06-10 10:03:14 +02:00
2020-06-11 14:30:25 +02:00
S
Description
No description provided
9.8 GiB
Languages
Shell 98%
Roff 1.3%
Emacs Lisp 0.2%
C 0.1%