Skip to main content

Browse the archive

Revision b9e7ca6d695f43b73c3df1e98424bccaff70a00a authored by Fabian Kunze on 21 April 2020, 09:01:12 UTC, committed by Fabian Kunze on 21 April 2020, 09:01:12 UTC 
Merge branch 'coq-8.11-comp-only' into coq-8.11
2 parent s 0c5766f + bb747c7
Raw File
.gitignore 
*.aux
*.vo
*.v.d
*.glob
*Makefile.coq
*Makefile.coq.d
*Makefile.coq.conf
*.coqdeps.d
*.lia.cache
*.nia.cache
*.vok
*.vos
back to top