coq/opam issues and pull requests

#3058 - Coq 8.20+rc1

Pull Request - State: closed - Opened by silene 3 months ago - 1 comment

#3049 - Add development version of coq-trakt.

Pull Request - State: closed - Opened by tomaz1502 3 months ago - 1 comment

#3039 - Opam package for verified extraction 0.9

Pull Request - State: closed - Opened by mattam82 4 months ago - 4 comments

#2993 - Update several packages for Coq 8.19 and recent releases

Pull Request - State: closed - Opened by andrew-appel 6 months ago - 6 comments

#2984 - Add coq-itree-extra.dev

Pull Request - State: closed - Opened by liyishuai 6 months ago - 1 comment

#2889 - Package coq-quickchick.2.0.2

Pull Request - State: closed - Opened by liyishuai 9 months ago

#100 - Categories Libraries, Plugin, End result ?

Issue - State: open - Opened by herbelin almost 8 years ago - 4 comments

#99 - Clarifying the purpose of the coq package?

Issue - State: closed - Opened by herbelin almost 8 years ago - 7 comments

#98 - Proposal for a default web page for contribs

Issue - State: open - Opened by herbelin almost 8 years ago - 6 comments

#97 - Unified format for the date tag

Pull Request - State: closed - Opened by herbelin about 8 years ago - 2 comments

#96 - Standard names for the categories of coq-color

Pull Request - State: closed - Opened by herbelin about 8 years ago

#95 - coq-ssr-multinomials: add tags

Pull Request - State: closed - Opened by strub about 8 years ago - 1 comment

#94 - Update LtacProf

Pull Request - State: closed - Opened by JasonGross about 8 years ago

#93 - added authors, keywords and categories to coq-color

Pull Request - State: closed - Opened by fblanqui about 8 years ago

#92 - Update opam

Pull Request - State: closed - Opened by jnarboux about 8 years ago

#91 - Add keywords and category

Pull Request - State: closed - Opened by jnarboux about 8 years ago

#90 - Add a category

Pull Request - State: closed - Opened by jnarboux about 8 years ago

#89 - OPAM instructions finally written

Pull Request - State: closed - Opened by gares about 8 years ago - 1 comment

#88 - new version of extensible records.

Pull Request - State: closed - Opened by gmalecha about 8 years ago

#87 - Release of mirror-core 1.0.2

Pull Request - State: closed - Opened by gmalecha about 8 years ago

#86 - Add .install files for Pluto

Pull Request - State: closed - Opened by clarus about 8 years ago

#85 - update of "opam" file to enable installability of the "coq-mathcomp-ssreflect" package with "coq.8.6.dev"

Pull Request - State: closed - Opened by ghost about 8 years ago

#84 - add install field

Pull Request - State: closed - Opened by jnarboux about 8 years ago

#83 - add install field

Pull Request - State: closed - Opened by jnarboux about 8 years ago

#82 - add install field

Pull Request - State: closed - Opened by jnarboux about 8 years ago

#81 - Update LtacProf

Pull Request - State: closed - Opened by JasonGross over 8 years ago - 1 comment

#80 - Fix the linting of the UniMath packages

Pull Request - State: closed - Opened by clarus over 8 years ago

#79 - Fix the links to the contrib homepages

Pull Request - State: closed - Opened by clarus over 8 years ago

#78 - Invalid contrib homepages

Issue - State: closed - Opened by clarus over 8 years ago - 4 comments

#77 - packaging coq-extensible-records

Pull Request - State: closed - Opened by gmalecha over 8 years ago - 1 comment

#76 - release of charge-core 1.1.0

Pull Request - State: closed - Opened by gmalecha over 8 years ago

#75 - new version of plugin-utils.

Pull Request - State: closed - Opened by gmalecha over 8 years ago - 1 comment

#74 - Linting

Pull Request - State: closed - Opened by clarus over 8 years ago

#73 - packaging mtac 1.3

Pull Request - State: closed - Opened by gmalecha over 8 years ago - 1 comment

#72 - Changes related to moving coq-contribs from gforge to github and some subsequent updates.

Pull Request - State: closed - Opened by ghost over 8 years ago - 2 comments

#71 - added Opam entry for coq-squiggle-eq

Pull Request - State: closed - Opened by aa755 over 8 years ago - 7 comments

#70 - Add 2.1.0 version of GeoCoq

Pull Request - State: closed - Opened by jnarboux over 8 years ago - 1 comment

#69 - Adds coq-dpdgraph.0.6

Pull Request - State: closed - Opened by ybertot over 8 years ago

#68 - release 1.6 of RelationAlgebra, for Coq 8.5pl1

Pull Request - State: closed - Opened by damien-pous over 8 years ago

#67 - Update LtacProf for Coq v8.5

Pull Request - State: closed - Opened by JasonGross over 8 years ago

#66 - mirror-core 1.0.1 compatible with 8.5.1 + fixes to opam files.

Pull Request - State: closed - Opened by gmalecha over 8 years ago - 1 comment

#65 - SMTCoq has been ported to Coq 8.5

Pull Request - State: closed - Opened by ckeller over 8 years ago - 1 comment

#64 - fixed color sources to avoid clashes with other libraries

Pull Request - State: closed - Opened by fblanqui over 8 years ago - 4 comments

#63 - new release for 0.9.4

Pull Request - State: closed - Opened by gmalecha over 8 years ago - 1 comment

#62 - coq-color.1.1.0 does not install with coq.8.4.6

Issue - State: closed - Opened by vzaliva over 8 years ago - 6 comments

#61 - Update LtacProf

Pull Request - State: closed - Opened by JasonGross over 8 years ago - 1 comment

#60 - add 8.5.0 version of coq-aac-tactics

Pull Request - State: closed - Opened by ghost over 8 years ago - 3 comments

#59 - coq-ext-lib 0.9.3 fixes a change in 8.5pl1

Pull Request - State: closed - Opened by gmalecha over 8 years ago - 1 comment

#58 - adds version 0.5.1 of coq-dpdgraph

Pull Request - State: closed - Opened by ybertot over 8 years ago

#57 - coq-ssr-elliptic-curves: Coq 8.4 -> 8.5

Pull Request - State: closed - Opened by strub over 8 years ago

#56 - coq-smt-check 2.0

Pull Request - State: closed - Opened by gmalecha over 8 years ago - 3 comments

#55 - add 2.0.0 version

Pull Request - State: closed - Opened by jnarboux over 8 years ago - 1 comment

#54 - relation-algebra-1.5

Pull Request - State: closed - Opened by damien-pous over 8 years ago

#53 - Update coq-bits & coq-bitset to Coq 8.5 / SSR 1.6

Pull Request - State: closed - Opened by artart78 over 8 years ago - 1 comment

#52 - A plugin and a tool to produce dependency graphs between objects in Coq

Pull Request - State: closed - Opened by ybertot over 8 years ago

#51 - release 1.0 of charge-core.

Pull Request - State: closed - Opened by gmalecha over 8 years ago - 1 comment

#50 - release 1.0.0 of mirror-core.

Pull Request - State: closed - Opened by gmalecha over 8 years ago - 1 comment

#49 - problem when installing coq.8.0.dev

Issue - State: closed - Opened by ybertot over 8 years ago - 16 comments

#48 - coq-ssr-multinomials: Coq 8.4/8.5 + ssr 1.5/1.6

Pull Request - State: closed - Opened by strub over 8 years ago

#47 - release for 8.5

Pull Request - State: closed - Opened by gmalecha over 8 years ago

#46 - removing relation-algebra from extra-dev, now that it is in released

Pull Request - State: closed - Opened by damien-pous over 8 years ago

#45 - added released versions of relation-algebra

Pull Request - State: closed - Opened by damien-pous over 8 years ago - 3 comments

#44 - adding coq-smt-check 1.0.0

Pull Request - State: closed - Opened by gmalecha over 8 years ago - 1 comment

#43 - new release 0.9.1

Pull Request - State: closed - Opened by vzaliva over 8 years ago - 1 comment

#42 - Packages for PluginUtils and LtacIter

Pull Request - State: closed - Opened by gmalecha over 8 years ago - 4 comments

#41 - Update URLs for CoLoR and add a new version

Pull Request - State: closed - Opened by fblanqui over 8 years ago

#40 - Non-offical versions of Coq removed

Pull Request - State: closed - Opened by clarus over 8 years ago - 4 comments

#39 - MathComp version 1.6 -> 1.6.0

Pull Request - State: closed - Opened by clarus over 8 years ago - 1 comment

#38 - Unsynchronized web repository

Issue - State: closed - Opened by clarus over 8 years ago - 4 comments

#37 - Compilation of 8.5 fails on clean VM

Issue - State: closed - Opened by cpitclaudel over 8 years ago - 7 comments

#36 - Basic instructions?

Issue - State: closed - Opened by cpitclaudel over 8 years ago - 3 comments

#35 - coq-coqeal-theory: depends on coq-math-comp 1.5 OR coq-mathcomp-* 1.6

Pull Request - State: closed - Opened by strub over 8 years ago - 4 comments

#34 - Moving coq-ssr-elliptic-curves to ssr 1.6 + fix URL

Pull Request - State: closed - Opened by strub over 8 years ago

#33 - Update URL & deps. of coq-ssr-multinomials

Pull Request - State: closed - Opened by strub over 8 years ago

#32 - Added the coq-bits and coq-bitset packages to extra-dev

Pull Request - State: closed - Opened by artart78 almost 9 years ago - 2 comments

#31 - Fix deps. of `coq-ssr-elliptic-curves`

Pull Request - State: closed - Opened by strub almost 9 years ago

#30 - Adding development packages for Coq 8.0, 8.1 and 8.2.

Pull Request - State: closed - Opened by herbelin almost 9 years ago - 1 comment

#29 - added package for ssreflect 1.5 patched for Coq 8.5beta3

Pull Request - State: closed - Opened by tebbi almost 9 years ago - 4 comments

#28 - Using the NamingScheme familiar to Coq users to name opam packages

Pull Request - State: closed - Opened by herbelin almost 9 years ago - 9 comments

#27 - Fixed compatibility issue of UniverseComparator with 8.5~beta3.

Pull Request - State: closed - Opened by amintimany almost 9 years ago - 1 comment

#26 - Issues in compiling coq:extraction:lwt:ocaml and coq:concurrency:pluto

Issue - State: closed - Opened by herbelin almost 9 years ago - 20 comments

#25 - Symbol ':' replaced by '-' for Windows users

Pull Request - State: closed - Opened by clarus almost 9 years ago - 5 comments

#24 - add maintainer to coqprime package

Pull Request - State: closed - Opened by thery almost 9 years ago - 1 comment

#23 - No maintainers for `coq:coqprime`

Issue - State: closed - Opened by clarus almost 9 years ago

#22 - template-coq for beta 3

Pull Request - State: closed - Opened by gmalecha almost 9 years ago - 2 comments

#21 - Betas of Coq/CoqIDE moved to the dev repositories

Pull Request - State: closed - Opened by clarus almost 9 years ago

#20 - new release of template-coq

Pull Request - State: closed - Opened by gmalecha almost 9 years ago - 1 comment

#19 - coqide vs coq:coqide

Issue - State: closed - Opened by clarus almost 9 years ago - 1 comment

#18 - Two virtual packages to force Coq 8.4 or 8.5

Pull Request - State: closed - Opened by clarus almost 9 years ago - 3 comments

#17 - Coq beta in released

Issue - State: closed - Opened by clarus almost 9 years ago - 15 comments

#16 - Colons in package names

Issue - State: closed - Opened by AltGr almost 9 years ago - 15 comments

#15 - Add version 1.1.0 of GeoCoq

Pull Request - State: closed - Opened by jnarboux almost 9 years ago - 1 comment

#14 - wrong checksum

Pull Request - State: closed - Opened by thery almost 9 years ago

#13 - stable coqprime

Pull Request - State: closed - Opened by thery almost 9 years ago

#12 - coqprime contribution

Pull Request - State: closed - Opened by thery almost 9 years ago

#11 - coq.inria.fr/opam not synchronized

Issue - State: closed - Opened by clarus about 9 years ago - 2 comments

#10 - Outdated tar.gz

Issue - State: closed - Opened by clarus about 9 years ago - 6 comments

#9 - require < 8.5 for this release

Pull Request - State: closed - Opened by jnarboux about 9 years ago

#8 - 8.5~beta2 is smaller than 8.5

Issue - State: closed - Opened by clarus about 9 years ago - 8 comments

#7 - Remove old Tarski contrib replaced by GeoCoq

Pull Request - State: closed - Opened by jnarboux about 9 years ago - 1 comment

GitHub / coq/opam issues and pull requests