Index of pub/pkgsrc/misc/joerg/20180119.1437/coq-8.7.1/

NameLast modifiedSize
Parent Directory21-Jan-2018 05:068kB
build.log20-Jan-2018 09:42106kB
checksum.log20-Jan-2018 09:351kB
configure.log20-Jan-2018 09:367kB
depends.log20-Jan-2018 09:3516kB
install.log20-Jan-2018 09:43129kB
pre-clean.log20-Jan-2018 09:341kB
work.log20-Jan-2018 09:422085kB