/gentoo-portage/sci-mathematics/why3-for-spark/
File Name ↓ | File Size ↓ | Date ↓ |
---|---|---|
Parent directory/ | - | - |
files/ | - | 2023-Feb-03 06:10 |
why3-for-spark-2021-r1.ebuild | 2941 | 2022-Jul-26 20:10 |
why3-for-spark-2020.ebuild | 2849 | 2022-Nov-26 14:10 |
why3-for-spark-2019-r2.ebuild | 2961 | 2022-Nov-26 14:10 |
metadata.xml | 1486 | 2022-Mar-11 21:09 |
Manifest | 4137 | 2022-Nov-26 14:10 |