Switch branches/tags
Nothing to show
Find file History
Latest commit b9c31ff Nov 6, 2018
Permalink
..
Failed to load latest commit information.
coq-aac-tactics add release date to aac-tactics-8.8.0 Oct 20, 2018
coq-abp/coq-abp.8.5.0 Existing coq-contribs were released for "coq.8.5". May 17, 2016
coq-additions/coq-additions.8.5.0 coq-additions: update Coq version Jun 13, 2018
coq-ails/coq-ails.8.5.0 coq-ails: update Coq version Jun 13, 2018
coq-algebra/coq-algebra.8.5.0 Standardizing date field to the CEP3 format YYYY-MM-DD. Sep 21, 2016
coq-amm11262/coq-amm11262.8.5.0 Standardizing date field to the CEP3 format YYYY-MM-DD. Sep 21, 2016
coq-angles/coq-angles.8.5.0 Standardizing date field to the CEP3 format YYYY-MM-DD. Sep 21, 2016
coq-area-method/coq-area-method.8.5.0 Add a category Sep 7, 2016
coq-atbr/coq-atbr.8.5.0 Standardizing date field to the CEP3 format YYYY-MM-DD. Sep 21, 2016
coq-automata/coq-automata.8.5.0 Existing coq-contribs were released for "coq.8.5". May 17, 2016
coq-axiomatic-abp/coq-axiomatic-abp.8.5.0 Existing coq-contribs were released for "coq.8.5". May 17, 2016
coq-bbv/coq-bbv.1.0 re-release. Aug 9, 2018
coq-bdds/coq-bdds.8.5.0 Existing coq-contribs were released for "coq.8.5". May 17, 2016
coq-bellantonicook/coq-bellantonicook.1.0.0 Add coq-bellantonicook package Sep 7, 2018
coq-bertrand/coq-bertrand.8.5.0 Existing coq-contribs were released for "coq.8.5". May 17, 2016
coq-bignums change maintainer to @thery Apr 30, 2018
coq-buchberger/coq-buchberger.8.5.0 Existing coq-contribs were released for "coq.8.5". May 17, 2016
coq-canon-bdds/coq-canon-bdds.8.5.0 Existing coq-contribs were released for "coq.8.5". May 17, 2016
coq-cantor/coq-cantor.8.5.0 Standardizing date field to the CEP3 format YYYY-MM-DD. Sep 21, 2016
coq-cats-in-zfc/coq-cats-in-zfc.8.5.0 Standardizing date field to the CEP3 format YYYY-MM-DD. Sep 21, 2016
coq-ccs/coq-ccs.8.5.0 Existing coq-contribs were released for "coq.8.5". May 17, 2016
coq-cecoa/coq-cecoa.1.0.0 Fix uninstall of coq-cecoa which does not remove its folder Sep 22, 2018
coq-cfgv/coq-cfgv.8.5.0 Existing coq-contribs were released for "coq.8.5". May 17, 2016
coq-cfml/coq-cfml.20180525 coq-cfml.20180525 - via opam-publish May 25, 2018
coq-charge-core bumping coq version bounds. Sep 6, 2018
coq-checker/coq-checker.8.5.0 Existing coq-contribs were released for "coq.8.5". May 17, 2016
coq-chinese/coq-chinese.8.5.0 Existing coq-contribs were released for "coq.8.5". May 17, 2016
coq-circuits/coq-circuits.8.5.0 Existing coq-contribs were released for "coq.8.5". May 17, 2016
coq-classical-realizability/coq-classical-realizability.8.5.0 Existing coq-contribs were released for "coq.8.5". May 17, 2016
coq-coalgebras/coq-coalgebras.8.5.0 Standardizing date field to the CEP3 format YYYY-MM-DD. Sep 21, 2016
coq-coinductive-examples/coq-coinductive-examples.8.5.0 Existing coq-contribs were released for "coq.8.5". May 17, 2016
coq-coinductive-reals/coq-coinductive-reals.8.5.0 Standardizing date field to the CEP3 format YYYY-MM-DD. Sep 21, 2016
coq-color color: add install instruction Oct 31, 2018
coq-compcert Fix Menhir version coq CompCert 2.6.0 Sep 28, 2018
coq-concat/coq-concat.8.5.0 Existing coq-contribs were released for "coq.8.5". May 17, 2016
coq-concurrency-pluto Add .install files for Pluto Jul 13, 2016
coq-concurrency-proxy/coq-concurrency-proxy.1.0.0 Add .install files for Pluto Jul 13, 2016
coq-concurrency-system coq-concurrency-system: update Coq version Jun 13, 2018
coq-constructive-geometry/coq-constructive-geometry.8.5.0 Existing coq-contribs were released for "coq.8.5". May 17, 2016
coq-constructors/coq-constructors.1.0.0 Symbol ':' replaced by '-' for Windows users Nov 10, 2015
coq-containers/coq-containers.8.5.0 Existing coq-contribs were released for "coq.8.5". May 17, 2016
coq-continuations/coq-continuations.8.5.0 Existing coq-contribs were released for "coq.8.5". May 17, 2016
coq-coq-in-coq/coq-coq-in-coq.8.5.0 Existing coq-contribs were released for "coq.8.5". May 17, 2016
coq-coq2html Update coq2html to upstream version 1.1 Jul 10, 2018
coq-coqeal-refinements/coq-coqeal-refinements.0.9.1 Lint coqeal-refinements Sep 27, 2018
coq-coqeal-theory/coq-coqeal-theory.0.9.1 Lint coqeal-theory Sep 27, 2018
coq-coqoban/coq-coqoban.8.5.0 Standardizing date field to the CEP3 format YYYY-MM-DD. Sep 21, 2016
coq-coqprime Remove "git+" from "dev-repo" fields Oct 3, 2018
coq-coqrel/coq-coqrel.0.1.0 Fix some keyword duplicates due to hyphenation, casing, plural, and s… Sep 13, 2017
coq-coquelicot Merge pull request #434 from clarus/coquelicot-2.0.1-lint Sep 27, 2018
coq-corn Lint CoRN 1.0.0 Sep 23, 2018
coq-counting/coq-counting.8.5.0 Existing coq-contribs were released for "coq.8.5". May 17, 2016
coq-cours-de-coq/coq-cours-de-coq.8.5.0 Existing coq-contribs were released for "coq.8.5". May 17, 2016
coq-ctltctl/coq-ctltctl.8.5.0 Using a standard format for the date tag (released). Sep 20, 2016
coq-cunit/coq-cunit.1.0.0 Remove most warnings May 29, 2016
coq-cybele/coq-cybele.1.3.0 Fix Coq version of Cybele 1.3.0 Sep 23, 2018
coq-dblib switch maintainer field of coq-dblib.8.6.0 Jul 25, 2017
coq-demos/coq-demos.8.5.0 Existing coq-contribs were released for "coq.8.5". May 17, 2016
coq-dep-map/coq-dep-map.8.5.0 Existing coq-contribs were released for "coq.8.5". May 17, 2016
coq-descente-infinie/coq-descente-infinie.8.5.0 Standardizing date field to the CEP3 format YYYY-MM-DD. Sep 21, 2016
coq-dictionaries/coq-dictionaries.8.5.0 Standardizing date field to the CEP3 format YYYY-MM-DD. Sep 21, 2016
coq-disel/coq-disel.2.0 add disel 2.0 Sep 21, 2018
coq-distributed-reference-counting/coq-distributed-reference-counting.8.5.0 Existing coq-contribs were released for "coq.8.5". May 17, 2016
coq-domain-theory/coq-domain-theory.8.5.0 Existing coq-contribs were released for "coq.8.5". May 17, 2016
coq-dpdgraph version of coq-dpdgraph to go with coq-8.8 Apr 19, 2018
coq-equations Release 1.1 of equations for Coq 8.8 Jun 15, 2018
coq-ergo/coq-ergo.8.5.0 Existing coq-contribs were released for "coq.8.5". May 17, 2016
coq-error-handlers Remove most warnings May 29, 2016
coq-euclidean-geometry/coq-euclidean-geometry.8.5.0 Fix some keyword duplicates due to hyphenation, casing, plural, and s… Sep 13, 2017
coq-euler-formula/coq-euler-formula.8.5.0 Standardizing date field to the CEP3 format YYYY-MM-DD. Sep 21, 2016
coq-exact-real-arithmetic/coq-exact-real-arithmetic.8.5.0 Existing coq-contribs were released for "coq.8.5". May 17, 2016
coq-exceptions/coq-exceptions.8.5.0 Existing coq-contribs were released for "coq.8.5". May 17, 2016
coq-ext-lib [coq-ext-lib] Version 0.9.8 for Coq 8.8 Jul 26, 2018
coq-extensible-records releasing version 1.2.0 Nov 15, 2016
coq-extructures/coq-extructures.0.1.0 Packaging extructures version 0.1.0. Apr 26, 2018
coq-fairisle/coq-fairisle.8.5.0 Standardizing date field to the CEP3 format YYYY-MM-DD. Sep 21, 2016
coq-fcsl-pcm/coq-fcsl-pcm.1.0.0 fcsl-pcm is compartible with mathcomp-ssreflect.dev Jul 23, 2018
coq-fermat4/coq-fermat4.8.5.0 Standardizing date field to the CEP3 format YYYY-MM-DD. Sep 21, 2016
coq-finger-tree/coq-finger-tree.8.5.0 Standardizing date field to the CEP3 format YYYY-MM-DD. Sep 21, 2016
coq-firing-squad/coq-firing-squad.8.5.0 Fix the links to the contrib homepages Jun 12, 2016
coq-float/coq-float.8.5.0 Fix the links to the contrib homepages Jun 12, 2016
coq-flocq Fix Coq version for coq-flocq.2.5.2 Nov 2, 2018
coq-force-84/coq-force-84.1.0.0 Remove lint errors, except authors on CompCert May 29, 2016
coq-force-85/coq-force-85.1.0.0 Remove lint errors, except authors on CompCert May 29, 2016
coq-founify/coq-founify.8.5.0 Fix the links to the contrib homepages Jun 12, 2016
coq-fpmods/coq-fpmods.0.2.0 Lint coq-fpmods.0.2.0 Oct 21, 2018
coq-free-groups/coq-free-groups.8.5.0 Existing coq-contribs were released for "coq.8.5". May 17, 2016
coq-fsets/coq-fsets.8.5.0 Fix the links to the contrib homepages Jun 12, 2016
coq-fssec-model/coq-fssec-model.8.5.0 Standardizing date field to the CEP3 format YYYY-MM-DD. Sep 21, 2016
coq-function-ninjas/coq-function-ninjas.1.0.0 Remove most warnings May 29, 2016
coq-functional-algebra/coq-functional-algebra.1.0.2 Fix uninstall of functional-algebra.1.0.2 Oct 21, 2018
coq-functions-in-zfc/coq-functions-in-zfc.8.5.0 Standardizing date field to the CEP3 format YYYY-MM-DD. Sep 21, 2016
coq-fundamental-arithmetics/coq-fundamental-arithmetics.8.5.0 Standardizing date field to the CEP3 format YYYY-MM-DD. Sep 21, 2016
coq-gappa Merge pull request #374 from silene/gappa-1.4 Jul 18, 2018
coq-gc/coq-gc.8.5.0 Fix some keyword duplicates due to hyphenation, casing, plural, and s… Sep 13, 2017
coq-generic-environments/coq-generic-environments.8.5.0 Fix the links to the contrib homepages Jun 12, 2016
coq-geocoq Merge pull request #472 from clarus/geocoq.1.1.0-lint Nov 6, 2018
coq-goedel/coq-goedel.8.5.0 Standardizing date field to the CEP3 format YYYY-MM-DD. Sep 21, 2016
coq-graph-basics/coq-graph-basics.8.5.0 Standardizing date field to the CEP3 format YYYY-MM-DD. Sep 21, 2016
coq-graphs/coq-graphs.8.5.0 Fix the links to the contrib homepages Jun 12, 2016
coq-group-theory/coq-group-theory.8.5.0 Fix the links to the contrib homepages Jun 12, 2016
coq-groups/coq-groups.8.5.0 Fix the links to the contrib homepages Jun 12, 2016
coq-hammer add latest coq-hammer releases for 8.7 and 8.8 Sep 8, 2018
coq-hardware/coq-hardware.8.5.0 Fix the links to the contrib homepages Jun 12, 2016
coq-hedges/coq-hedges.8.5.0 Standardizing date field to the CEP3 format YYYY-MM-DD. Sep 21, 2016
coq-high-school-geometry/coq-high-school-geometry.1.0.0 Lint high-school-geometry.1.0.0 Nov 2, 2018
coq-higman-cf/coq-higman-cf.8.5.0 Fix the links to the contrib homepages Jun 12, 2016
coq-higman-nw/coq-higman-nw.8.5.0 Fix the links to the contrib homepages Jun 12, 2016
coq-higman-s/coq-higman-s.8.5.0 Standardizing date field to the CEP3 format YYYY-MM-DD. Sep 21, 2016
coq-historical-examples/coq-historical-examples.8.5.0 Fix the links to the contrib homepages Jun 12, 2016
coq-hoare-tut/coq-hoare-tut.8.5.0 Fix the links to the contrib homepages Jun 12, 2016
coq-huffman/coq-huffman.8.5.0 Standardizing date field to the CEP3 format YYYY-MM-DD. Sep 21, 2016
coq-icharate/coq-icharate.8.5.0 Using a standard format for the date tag (released). Sep 20, 2016
coq-idxassoc/coq-idxassoc.8.5.0 Standardizing date field to the CEP3 format YYYY-MM-DD. Sep 21, 2016
coq-ieee754/coq-ieee754.8.5.0 Fix some keyword duplicates due to hyphenation, casing, plural, and s… Sep 13, 2017
coq-improper-integrals/coq-improper-integrals.0.1.0 developments depending on coquelicot now 8.8 compatible (pi-agm, etc...) May 17, 2018
coq-int-map/coq-int-map.8.5.0 Existing coq-contribs were released for "coq.8.5". May 17, 2016
coq-interval Merge pull request #476 from clarus/interval.1.1.0 Nov 6, 2018
coq-intuitionistic-nuprl/coq-intuitionistic-nuprl.8.5.0 coq-intuitionistic-nuprl: fix download link Jun 14, 2018
coq-io-evaluate/coq-io-evaluate.1.0.0 Remove most warnings May 29, 2016
coq-io-exception Remove most warnings May 29, 2016
coq-io-hello-world Remove missing colons May 29, 2016
coq-io-list Remove most warnings May 29, 2016
coq-io-system-ocaml [coq-io-system-ocaml] Add a lower-bound on lwt Oct 25, 2016
coq-io-system Remove most warnings May 29, 2016
coq-io Add coq-io version 3.3.0 Oct 23, 2016
coq-ipc/coq-ipc.8.5.0 Fix the links to the contrib homepages Jun 12, 2016
coq-iris Iris 3.1 works with Coq 8.8 Aug 28, 2018
coq-iterable/coq-iterable.1.0.0 Remove most warnings May 29, 2016
coq-izf/coq-izf.8.5.0 Fix some keyword duplicates due to hyphenation, casing, plural, and s… Sep 13, 2017
coq-jordan-curve-theorem/coq-jordan-curve-theorem.8.5.0 Lint jordan-curve-theorem.8.5.0 Oct 21, 2018
coq-jprover/coq-jprover.8.5.0 Fix the links to the contrib homepages Jun 12, 2016
coq-jsast (update) JsAst 1.0.8 Jun 27, 2018
coq-karatsuba/coq-karatsuba.8.5.0 Standardizing date field to the CEP3 format YYYY-MM-DD. Sep 21, 2016
coq-kildall/coq-kildall.8.5.0 Standardizing date field to the CEP3 format YYYY-MM-DD. Sep 21, 2016
coq-label/coq-label.1.0.0 Backport format of tarball to support Opam 1.2 Mar 25, 2018
coq-lambda/coq-lambda.8.5.0 Fix the links to the contrib homepages Jun 12, 2016
coq-lambek/coq-lambek.8.5.0 Fix the links to the contrib homepages Jun 12, 2016
coq-lazy-pcf/coq-lazy-pcf.8.5.0 Fix the links to the contrib homepages Jun 12, 2016
coq-lc/coq-lc.8.5.0 Standardizing date field to the CEP3 format YYYY-MM-DD. Sep 21, 2016
coq-legacy-ring/coq-legacy-ring.8.5.0 Fix the download url Jul 2, 2016
coq-lesniewski-mereology/coq-lesniewski-mereology.8.5.0 Fix the links to the contrib homepages Jun 12, 2016
coq-lin-alg/coq-lin-alg.8.5.0 Standardizing date field to the CEP3 format YYYY-MM-DD. Sep 21, 2016
coq-list-plus Remove most warnings May 29, 2016
coq-list-string Remove most warnings May 29, 2016
coq-ltac-iter/coq-ltac-iter.1.0.0 Lint ltac-iter.1.0.0 Nov 2, 2018
coq-ltac2/coq-ltac2.0.1-8.7 Add ltac2 for 8.7 released Dec 22, 2017
coq-ltl/coq-ltl.8.5.0 Standardizing date field to the CEP3 format YYYY-MM-DD. Sep 21, 2016
coq-maple-mode/coq-maple-mode.8.5.0 Standardizing date field to the CEP3 format YYYY-MM-DD. Sep 21, 2016
coq-markov/coq-markov.8.5.0 Standardizing date field to the CEP3 format YYYY-MM-DD. Sep 21, 2016
coq-math-classes Lint math-classes.1.0.3 Oct 21, 2018
coq-mathcomp-algebra Release mathcomp-1.7.0 package Apr 24, 2018
coq-mathcomp-bigenough/coq-mathcomp-bigenough.1.0.0 Update opam Aug 8, 2018
coq-mathcomp-character Release mathcomp-1.7.0 package Apr 24, 2018
coq-mathcomp-field Release mathcomp-1.7.0 package Apr 24, 2018
coq-mathcomp-fingroup Release mathcomp-1.7.0 package Apr 24, 2018
coq-mathcomp-finmap Merge pull request #388 from coq/CohenCyril-patch-1 Aug 11, 2018
coq-mathcomp-multinomials Lint mathcomp-multinomials.1.0 Oct 21, 2018
coq-mathcomp-odd-order odd-order theorem release 1.7.0 Apr 24, 2018
coq-mathcomp-solvable Release mathcomp-1.7.0 package Apr 24, 2018
coq-mathcomp-ssreflect [mathcomp]: add dev-repo to current SSReflect's opam Oct 5, 2018
coq-mathcomp-sum-of-two-square Merge pull request #494 from clarus/mathcomp-sum-of-two-square.1.0.1-… Oct 26, 2018
coq-maths/coq-maths.8.5.0 Fix the links to the contrib homepages Jun 12, 2016
coq-matrices/coq-matrices.8.5.0 Standardizing date field to the CEP3 format YYYY-MM-DD. Sep 21, 2016
coq-menhirlib Lint menhirlib Sep 27, 2018
coq-min-imports v.1.0.2 of coq-min-imports package Apr 25, 2018
coq-mini-compiler/coq-mini-compiler.8.5.0 Fix the links to the contrib homepages Jun 12, 2016
coq-minic/coq-minic.8.5.0 Fix the links to the contrib homepages Jun 12, 2016
coq-miniml/coq-miniml.8.5.0 Fix the links to the contrib homepages Jun 12, 2016
coq-mirror-core fixing dependencies. Jul 27, 2017
coq-mod-red/coq-mod-red.8.5.0 Fix the links to the contrib homepages Jun 12, 2016
coq-moment/coq-moment.1.0.0 Remove most warnings May 29, 2016
coq-msets-extra Fix some keyword duplicates due to hyphenation, casing, plural, and s… Sep 13, 2017
coq-mtac/coq-mtac.1.3.0 deleting inconsistently named old version of coq-mtac2 Aug 16, 2018
coq-mtac2 adding mtac2 for 8.8 Aug 23, 2018
coq-multiplier/coq-multiplier.8.5.0 Fix the links to the contrib homepages Jun 12, 2016
coq-mutual-exclusion/coq-mutual-exclusion.8.5.0 Fix the links to the contrib homepages Jun 12, 2016
coq-nfix/coq-nfix.8.5.0 Existing coq-contribs were released for "coq.8.5". May 17, 2016
coq-of-ocaml coq-of-ocaml: add version 1.2.1 Jun 9, 2018
coq-opam-website Add development repository links May 29, 2016
coq-orb-stab/coq-orb-stab.8.5.0 Standardizing date field to the CEP3 format YYYY-MM-DD. Sep 21, 2016
coq-ott add coq-ott.0.28 Apr 26, 2018
coq-otway-rees/coq-otway-rees.8.5.0 Fix the links to the contrib homepages Jun 12, 2016
coq-paco/coq-paco.1.2.8 update as suggested by @gares Jun 25, 2018
coq-paradoxes/coq-paradoxes.8.5.0 Fix the links to the contrib homepages Jun 12, 2016
coq-param-pi/coq-param-pi.8.5.0 Standardizing date field to the CEP3 format YYYY-MM-DD. Sep 21, 2016
coq-paramcoq [paramcoq] release 1.1.0 Aug 10, 2018
coq-pautomata/coq-pautomata.8.5.0 Fix the links to the contrib homepages Jun 12, 2016
coq-persistent-union-find/coq-persistent-union-find.8.5.0 Fix the links to the contrib homepages Jun 12, 2016
coq-pi-agm Merge pull request #486 from clarus/pi-agm.1.2.2-lint Oct 26, 2018
coq-pi-calc/coq-pi-calc.8.5.0 Standardizing date field to the CEP3 format YYYY-MM-DD. Sep 21, 2016
coq-pigeonhole-principle/coq-pigeonhole-principle.1.0.3 Readded the Pigeonhole Principle package after revising the opam file. Aug 25, 2018
coq-plouffe Merge pull request #492 from clarus/plouffe.1.4.0-lint Oct 26, 2018
coq-plugin-utils Merge pull request #455 from clarus/plugin-utils-1.3.0-lint Sep 28, 2018
coq-pocklington/coq-pocklington.8.5.0 Standardizing date field to the CEP3 format YYYY-MM-DD. Sep 21, 2016
coq-poltac/coq-poltac.0.8.8 dev-repo fixed Oct 21, 2018
coq-ppsimpl ppsimpl for coq-8.8 Jul 9, 2018
coq-presburger/coq-presburger.8.5.0 Standardizing date field to the CEP3 format YYYY-MM-DD. Sep 21, 2016
coq-prfx/coq-prfx.8.5.0 Standardizing date field to the CEP3 format YYYY-MM-DD. Sep 21, 2016
coq-procrastination Add coq-procrastination 1.2 Sep 18, 2018
coq-projective-geometry/coq-projective-geometry.8.5.0 coq-projective-geometry: fix download link Jun 14, 2018
coq-propcalc/coq-propcalc.8.5.0 Existing coq-contribs were released for "coq.8.5". May 17, 2016
coq-pts/coq-pts.8.5.0 Standardizing date field to the CEP3 format YYYY-MM-DD. Sep 21, 2016
coq-ptsatr/coq-ptsatr.8.5.0 Fix the links to the contrib homepages Jun 12, 2016
coq-ptsf/coq-ptsf.8.5.0 Fix the links to the contrib homepages Jun 12, 2016
coq-qarith-stern-brocot/coq-qarith-stern-brocot.8.5.0 Existing coq-contribs were released for "coq.8.5". May 17, 2016
coq-qarith/coq-qarith.8.5.0 Fix the links to the contrib homepages Jun 12, 2016
coq-qcert (release) Q*cert 1.2.0 with Coq 8.8.1 and improved JavaScript backend Aug 10, 2018
coq-quickchick Fix quickchick.1.0.0 uninstall Sep 27, 2018
coq-quicksort-complexity/coq-quicksort-complexity.8.5.0 Standardizing date field to the CEP3 format YYYY-MM-DD. Sep 21, 2016
coq-railroad-crossing/coq-railroad-crossing.8.5.0 Using a standard format for the date tag (released). Sep 20, 2016
coq-ramsey/coq-ramsey.8.5.0 Fix the links to the contrib homepages Jun 12, 2016
coq-random/coq-random.8.5.0 Fix the links to the contrib homepages Jun 12, 2016
coq-rational/coq-rational.8.5.0 Fix the links to the contrib homepages Jun 12, 2016
coq-recursive-definition/coq-recursive-definition.8.5.0 Fix the links to the contrib homepages Jun 12, 2016
coq-reflexive-first-order/coq-reflexive-first-order.8.5.0 Standardizing date field to the CEP3 format YYYY-MM-DD. Sep 21, 2016
coq-regexp/coq-regexp.8.5.0 coq-regexp: fix download link Jun 14, 2018
coq-reglang/coq-reglang.1 Add coq-reglang package Sep 18, 2018
coq-relation-algebra Fix Coq version for relation-algebra.1.6 Sep 28, 2018
coq-relation-extraction/coq-relation-extraction.8.5.0 Fix the links to the contrib homepages Jun 12, 2016
coq-rem/coq-rem.8.5.0 Fix the links to the contrib homepages Jun 12, 2016
coq-rsa/coq-rsa.8.5.0 Fix the links to the contrib homepages Jun 12, 2016
coq-ruler-compass-geometry/coq-ruler-compass-geometry.8.5.0 Fix some keyword duplicates due to hyphenation, casing, plural, and s… Sep 13, 2017
coq-schroeder/coq-schroeder.8.5.0 Fix the links to the contrib homepages Jun 12, 2016
coq-search-trees/coq-search-trees.8.5.0 Fix the links to the contrib homepages Jun 12, 2016
coq-semantics/coq-semantics.8.5.0 Standardizing date field to the CEP3 format YYYY-MM-DD. Sep 21, 2016
coq-shuffle/coq-shuffle.8.5.0 Fix the links to the contrib homepages Jun 12, 2016
coq-simple-io coq-simple-io.0.2 Aug 1, 2018
coq-smc/coq-smc.8.5.0 Standardizing date field to the CEP3 format YYYY-MM-DD. Sep 21, 2016
coq-smt-check Merge pull request #443 from clarus/smt-check.2.0.0-lint Sep 29, 2018
coq-square-matrices/coq-square-matrices.8.5.0 Fix the links to the contrib homepages Jun 12, 2016
coq-squiggle-eq Release coq-squiggle-eq for Coq 8.8 (v1.0.4) Jul 27, 2018
coq-ssreflect Lint SSReflect Sep 27, 2018
coq-stalmarck/coq-stalmarck.8.5.0 Fix the links to the contrib homepages Jun 12, 2016
coq-stdpp update URL to nicer style Nov 3, 2018
coq-streams/coq-streams.8.5.0 Fix the links to the contrib homepages Jun 12, 2016
coq-string/coq-string.8.5.0 Standardizing date field to the CEP3 format YYYY-MM-DD. Sep 21, 2016
coq-subst/coq-subst.8.5.0 Fix the links to the contrib homepages Jun 12, 2016
coq-sudoku/coq-sudoku.8.5.0 Standardizing date field to the CEP3 format YYYY-MM-DD. Sep 21, 2016
coq-sum-of-two-square/coq-sum-of-two-square.8.5.0 Standardizing date field to the CEP3 format YYYY-MM-DD. Sep 21, 2016
coq-switch/coq-switch.1.0.0 another typo spotted by @anton-trunov. spell-checked description :) Sep 27, 2018
coq-tait/coq-tait.8.5.0 coq-tait: fix download link Jun 14, 2018
coq-tarski-geometry/coq-tarski-geometry.8.5.0 Fix some keyword duplicates due to hyphenation, casing, plural, and s… Sep 13, 2017
coq-template-coq Merge pull request #441 from clarus/template-coq.2.1-beta-uninstall Sep 27, 2018
coq-three-gap/coq-three-gap.8.5.0 Fix the links to the contrib homepages Jun 12, 2016
coq-tlc New release of TLC. Mar 16, 2018
coq-topology/coq-topology.8.5.0 Fix the links to the contrib homepages Jun 12, 2016
coq-tortoise-hare-algorithm/coq-tortoise-hare-algorithm.8.5.0 coq-tortoise-hare-algorithm: fix download link Jun 14, 2018
coq-traversable-fincontainer/coq-traversable-fincontainer.8.5.0 Existing coq-contribs were released for "coq.8.5". May 17, 2016
coq-tree-automata/coq-tree-automata.8.5.0 Standardizing date field to the CEP3 format YYYY-MM-DD. Sep 21, 2016
coq-tree-diameter/coq-tree-diameter.8.5.0 Fix the links to the contrib homepages Jun 12, 2016
coq-unicoq adding unicoq for 8.8 Aug 23, 2018
coq-unimath-category-theory/coq-unimath-category-theory.0.1.0 Fix the linting of the UniMath packages Jun 12, 2016
coq-unimath-dedekind/coq-unimath-dedekind.0.1.0 Fix the linting of the UniMath packages Jun 12, 2016
coq-unimath-foundations/coq-unimath-foundations.0.1.0 Fix the linting of the UniMath packages Jun 12, 2016
coq-unimath-ktheory/coq-unimath-ktheory.0.1.0 Fix the linting of the UniMath packages Jun 12, 2016
coq-unimath-substitution-systems/coq-unimath-substitution-systems.0.1.0 Fix the linting of the UniMath packages Jun 12, 2016
coq-unimath-tactics/coq-unimath-tactics.0.1.0 Fix the linting of the UniMath packages Jun 12, 2016
coq-universe-comparator Fix Coq version for coq-universe-comparator.1.1.0 Sep 28, 2018
coq-vst/coq-vst.2.2 version has to be 3.3.0 precisely Jul 3, 2018
coq-weak-up-to/coq-weak-up-to.8.5.0 Standardizing date field to the CEP3 format YYYY-MM-DD. Sep 21, 2016
coq-zchinese/coq-zchinese.8.5.0 Existing coq-contribs were released for "coq.8.5". May 17, 2016
coq-zf/coq-zf.8.5.0 Fix some keyword duplicates due to hyphenation, casing, plural, and s… Sep 13, 2017
coq-zfc/coq-zfc.8.5.0 Fix the links to the contrib homepages Jun 12, 2016
coq-zorns-lemma/coq-zorns-lemma.8.5.0 Fix the links to the contrib homepages Jun 12, 2016
coq-zsearch-trees/coq-zsearch-trees.8.5.0 Fix the links to the contrib homepages Jun 12, 2016
coq/coq.8.8.2 copy and adapt opam files from frozen OPAM 1.2 repo Oct 21, 2018