Sophie

Sophie

distrib > Mageia > 8 > x86_64 > by-pkgid > 2ba6683e8420fa26e6d9d0f09d5b4d9f > files

coq-flocq-3.2.0-1.mga8.src.rpm

Files

-rw-r--r-- 4062 iurt iurt coq-flocq.spec
-rw-r--r--423987 iurt iurt flocq-3.2.0.tar.gz