Tree @debian/8.2.rc2+dfsg-1 (Download .tar.gz)
- checker
- config
- contrib
- debian
- dev
- doc
- ide
- interp
- kernel
- lib
- library
- man
- parsing
- pretyping
- proofs
- scripts
- states
- tactics
- test-suite
- theories
- tools
- toplevel
- CHANGES
- COMPATIBILITY
- configure
- COPYRIGHT
- Coq.bat
- Coqide.bat
- CREDITS
- INSTALL
- INSTALL.doc
- INSTALL.ide
- INSTALL.macosx
- install.sh
- KNOWN-BUGS
- LICENSE
- Makefile
- Makefile.build
- Makefile.common
- Makefile.doc
- Makefile.stage1
- Makefile.stage2
- Makefile.stage3
- README
- README.doc
- README.win
History of Makefile @debian/8.2.rc2+dfsg-1
- Imported Upstream version 8.2~rc2+dfsg Stephane Glondu 15 years ago
- Imported Upstream version 8.2~beta4.svn20080907+dfsg Stephane Glondu 15 years ago
- Imported Upstream version 8.2~beta4+dfsg Stephane Glondu 15 years ago
- Imported Upstream version 8.2~beta3+dfsg Samuel Mimram 15 years ago
- Imported Upstream version 8.1.pl3+dfsg Samuel Mimram 16 years ago
- Imported Upstream version 8.1.pl2+dfsg Samuel Mimram 16 years ago
- Imported Upstream version 8.1.pl1+dfsg Samuel Mimram 16 years ago
- Imported Upstream version 8.1+dfsg Samuel Mimram 17 years ago
- Imported Upstream version 8.1~gamma Samuel Mimram 17 years ago
- Imported Upstream version 8.0pl3+8.1beta.2 Samuel Mimram 17 years ago
- Imported Upstream version 8.0pl3+8.1beta Samuel Mimram 17 years ago
- Imported Upstream version 8.0pl3+8.1alpha Samuel Mimram 18 years ago
- Imported Upstream version 8.0pl3 Samuel Mimram 18 years ago
- Imported Upstream version 8.0pl2 Samuel Mimram 19 years ago
- Imported Upstream version 8.0pl1 Samuel Mimram 19 years ago