Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/licenses/SGMLUG
diff options
context:
space:
mode:
authorAlfredo Tupone <tupone@gentoo.org>2025-02-08 21:37:40 +0100
committerAlfredo Tupone <tupone@gentoo.org>2025-02-08 21:59:03 +0100
commit0ce761414e3e10334c3f5b0494aafc5cb9761400 (patch)
tree00e025c1e5c5b61340fe400726ee0cdf60ef4d11 /licenses/SGMLUG
parentsci-mathematics/coq: add 8.17.1 (diff)
downloadgentoo-master.tar.gz
gentoo-master.tar.bz2
gentoo-master.zip
sci-mathematics/why3-for-spark: requires older coqHEADmaster
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Diffstat (limited to 'licenses/SGMLUG')
0 files changed, 0 insertions, 0 deletions