Tree @debian/8.14.1+dfsg-2 (Download .tar.gz)
- .github
- checker
- clib
- config
- coqpp
- debian
- dev
- doc
- engine
- gramlib
- ide
- interp
- kernel
- lib
- library
- man
- parsing
- plugins
- pretyping
- printing
- proofs
- stm
- sysinit
- tactics
- test-suite
- theories
- tools
- topbin
- toplevel
- user-contrib
- vernac
- .gitlab-ci.yml
- .ocamlformat
- .ocamlinit
- CODE_OF_CONDUCT.md
- configure
- CONTRIBUTING.md
- coq-core.opam
- coq-core.opam.template
- coq-doc.opam
- coq-stdlib.opam
- coq.opam
- coq.opam.docker
- coqide-server.opam
- coqide.opam
- CREDITS
- default.nix
- dune
- dune-project
- index.mld
- INSTALL.md
- install.sh
- LICENSE
- Makefile
- Makefile.build
- Makefile.ci
- Makefile.common
- Makefile.dev
- Makefile.doc
- Makefile.dune
- Makefile.ide
- Makefile.install
- Makefile.make
- Makefile.vofiles
- README.md
- shell.nix
History of Makefile @debian/8.14.1+dfsg-2
- New upstream version 8.14.0+dfsg Julien Puydt 2 years ago
- New upstream version 8.12.0 Ralf Treinen 3 years ago
- New upstream version 8.11.0 Ralf Treinen 4 years ago
- New upstream version 8.11~beta1 Ralf Treinen 4 years ago
- New upstream version 8.10.1 Ralf Treinen 4 years ago
- Imported Upstream version 8.9.0 Benjamin Barenblat 5 years ago
- Imported Upstream version 8.8.2 Benjamin Barenblat 5 years ago
- Imported Upstream version 8.6 Enrico Tassi 7 years ago
- Imported Upstream version 8.5~beta3+dfsg Enrico Tassi 8 years ago
- Imported Upstream version 8.5~beta2+dfsg Enrico Tassi 8 years ago
- Imported Upstream version 8.5~beta1+dfsg Enrico Tassi 9 years ago
- Imported Upstream version 8.4dfsg Stephane Glondu 11 years ago
- Imported Upstream version 8.4~gamma0+really8.4beta2 Stephane Glondu 11 years ago
- Imported Upstream version 8.4~beta Stephane Glondu 12 years ago
- Imported Upstream version 8.3.pl3 Stephane Glondu 12 years ago
- Imported Upstream version 8.3pl1 Stephane Glondu 13 years ago
- Imported Upstream version 8.3 Stephane Glondu 13 years ago
- Imported Upstream version 8.3~rc1+dfsg Stephane Glondu 13 years ago
- Imported Upstream snapshot 8.3~beta0+13298 Stephane Glondu 13 years ago
- Imported Upstream version 8.2pl2+dfsg Stephane Glondu 13 years ago
- Imported Upstream version 8.2.pl1+dfsg Stephane Glondu 14 years ago
- 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