Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - readme.sh 2011-02-22 18:55 318 makefile 2011-02-22 18:55 1.1K coq-sample.mp 2011-02-22 18:55 2.5K coq-sample.tex 2011-02-22 18:55 5.0K drv.mp 2011-02-22 18:55 80K