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

NameLast ModifiedSizeType
../ -  Directory
why3-for-spark-2020-bibtex.patch2021-Feb-09 19:09:170.2Ktext/x-diff
why3-for-spark-2020-gentoo.patch2021-Feb-09 19:09:170.3Ktext/x-diff
why3-for-spark-2021-flags.patch2021-Jun-29 22:09:411.2Ktext/x-diff
why3-for-spark-2021-make.patch2023-Apr-03 08:40:200.3Ktext/x-diff
lighttpd/1.4.45