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-make.patch          2023-04-03 07:48  350   
[   ] why3-for-spark-2021-sighandler.patch    2025-04-12 08:36  408   
[   ] why3-for-spark-2023.12.13-flags.patch   2025-02-07 21:18  863   
[   ] why3-for-spark-2023.12.13-spark.patch   2025-02-11 17:32  357   
[   ] why3-for-spark-2023.12.13-yojson3.patch 2026-02-20 12:29  449
Apache/2.4.66 (Gentoo) mod_fcgid/2.3.9 OpenSSL/3.6.2 mod_perl/2.0.13 Perl/v5.42.0 Server at portage.randomdan.homeip.net Port 11080