Sophie

Sophie

distrib > Mageia > cauldron > x86_64 > by-pkgid > 15381e619181b087bd657698755f7dac > files

coq-8.7.1-1.mga7.src.rpm

Files

-rw-r--r--383983 iurt iurt RecTutorial.pdf
-rw-r--r--1704685 iurt iurt Reference-Manual.pdf
-rw-r--r--198284 iurt iurt Tutorial.pdf
-rw-r--r--5671130 iurt iurt coq-8.7.1.tar.gz
-rw-r--r-- 7269 iurt iurt coq.spec