Tree @debian/8.4_beta+dfsg-1 (Download .tar.gz)
- ..
- autorewritein.v
- Case1.v
- Case10.v
- Case11.v
- Case12.v
- Case13.v
- Case14.v
- Case15.v
- Case16.v
- Case2.v
- Case3.v
- Case4.v
- Case5.v
- Case6.v
- Case7.v
- Case8.v
- Case9.v
- cases.v
- check.v
- circular_subtyping1.v
- circular_subtyping2.v
- clash_cons.v
- clashes.v
- ClearBody.v
- coqbugs0266.v
- evar1.v
- evarclear1.v
- evarclear2.v
- evarlemma.v
- fixpoint1.v
- fixpoint2.v
- fixpoint3.v
- fixpoint4.v
- guard.v
- illtype1.v
- ImportedCoercion.v
- inductive1.v
- inductive2.v
- inductive3.v
- inductive4.v
- ltac1.v
- ltac2.v
- ltac4.v
- Notations.v
- pattern.v
- positivity.v
- proofirrelevance.v
- prop-set-proof-irrelevance.v
- redef.v
- Reordering.v
- rewrite_in_goal.v
- rewrite_in_hyp.v
- rewrite_in_hyp2.v
- search.v
- Sections.v
- subtyping.v
- subtyping2.v
- Tauto.v
- Uminus.v
- univ_include.v
- universes-buraliforti-redef.v
- universes-buraliforti.v
- universes-sections1.v
- universes-sections2.v
- universes.v
- universes3.v
History of test-suite / failure @debian/8.4_beta+dfsg-1
- 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.3 Stephane Glondu 13 years ago
- Imported Upstream snapshot 8.3~beta0+13323 Stephane Glondu 13 years ago
- Imported Upstream snapshot 8.3~beta0+13298 Stephane Glondu 13 years ago
- Imported Upstream version 8.2~rc2+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~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.0pl1 Samuel Mimram 19 years ago