Index of /sci-mathematics/why3-for-spark/files

Icon  Name                             Last modified      Size  Description
[PARENTDIR] Parent Directory                                      -   
[   ] why3-for-spark-2020-bibtex.patch 2021-02-09 19:52  288   
[   ] why3-for-spark-2020-gentoo.patch 2021-02-09 19:52  332   
[   ] why3-for-spark-2021-flags.patch  2021-06-29 20:52  1.2K  
[   ] why3-for-spark-2021-make.patch   2023-04-03 07:48  350
Apache/2.4.59 (Gentoo) mod_fcgid/2.3.9 OpenSSL/3.2.1 mod_perl/2.0.13 Perl/v5.38.2 Server at portage.randomdan.homeip.net Port 11080