issues
search
coq
/
opam
Archive for all Coq related OPAM packages organized in various repositories
https://coq.inria.fr/opam/www/
GNU Lesser General Public License v2.1
127
stars
166
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Add coq-comp-dec-modal.1.2
#3115
palmskog
closed
4 months ago
0
update coq-elpi
#3114
gares
closed
4 months ago
0
Verified extraction v0.9.2 for Coq 8.19
#3113
mattam82
closed
4 months ago
0
Verified extraction v0.9.2 for Coq 8.19
#3112
mattam82
closed
4 months ago
0
coq-geocoq.2.5.0 has no URL
#3111
fblanqui
closed
4 months ago
4
MetaCoq 1.3.2 for Coq 8.19
#3110
mattam82
closed
4 months ago
0
coq-mathcomp-multinomials.2.2.0 is incompatible with coq-elpi >= 2.2.1
#3109
pi8027
closed
4 months ago
0
Tactician for 8.19 and 8.20
#3108
LasseBlaauwbroek
closed
4 months ago
0
Package coq-menhirlib.20240715
#3107
fpottier
closed
4 months ago
0
coq2html 1.4
#3106
xavierleroy
closed
4 months ago
0
Package coq-ssprove.0.2.1
#3105
4ever2
closed
4 months ago
2
Switch the build method of coq-mathcomp-multinomials.dev from dune to coq_makefile
#3104
pi8027
closed
4 months ago
4
Package coq-elpi.2.2.2
#3103
coqelpibot
closed
4 months ago
4
Add bound coq < 8.21~ for coq-elpi 2.2.1
#3102
SkySkimmer
closed
4 months ago
3
add coq-coqtail.8.20
#3101
palmskog
closed
4 months ago
0
coq-parseque.0.2.1 and coq-qarith-stern-brocot.8.18.0 work on Coq 8.20
#3100
palmskog
closed
4 months ago
0
coq-high-school-geometry.8.16.0 works on 8.20
#3099
palmskog
closed
4 months ago
0
add coq-autosubst.1.9
#3098
palmskog
closed
4 months ago
0
2 packages from LPCIC/coq-elpi at 2.2.1
#3097
coqelpibot
closed
4 months ago
0
Package coq-ssprove.0.2.0
#3096
4ever2
closed
4 months ago
1
Package coq-rust-extraction.0.1.0
#3095
4ever2
closed
4 months ago
0
Package coq-elm-extraction.0.1.0
#3094
4ever2
closed
4 months ago
0
Add Coq bound `< 8.21~` for coq-elpi.2.2.0
#3093
SkySkimmer
closed
4 months ago
3
add coq-equations.1.3.1+8.20 to extra-dev
#3092
palmskog
closed
4 months ago
1
Coquelicot 3.4.2
#3091
silene
closed
4 months ago
0
Allow dune >= 3.15.3 in all packages restricting dune to < 3.14
#3090
MSoegtropIMC
opened
4 months ago
7
Flocq 4.2.0
#3089
silene
closed
4 months ago
0
coq-mathcomp-tarjan.1.0.2 works on Coq 8.20
#3088
palmskog
closed
5 months ago
0
add coq-graph-theory.0.9.5 and coq-graph-theory-planar.0.9.5
#3087
palmskog
closed
5 months ago
0
add coq-atbr for 8.20
#3086
palmskog
closed
5 months ago
0
add coq-stalmarck for 8.20
#3085
palmskog
closed
5 months ago
0
coq-coinduction.1.9 doesn't work on 8.20
#3084
palmskog
closed
5 months ago
0
coq-mathcomp-multinomials.2.2.0 works on 8.20
#3083
palmskog
closed
5 months ago
0
coq-fourcolor.1.3.1 works on 8.20
#3082
palmskog
closed
5 months ago
0
coq-mathcomp-algebra-tactics.1.2.3 works on 8.20
#3081
palmskog
closed
5 months ago
0
coq-mathcomp-zify.1.5.0+2.0+8.16 works on 8.20
#3080
palmskog
closed
5 months ago
0
coq-reglang.1.2.1 works on Coq 8.20
#3079
palmskog
closed
5 months ago
0
coq-mathcomp-finmap.2.1.0 works on Coq 8.20
#3078
palmskog
closed
5 months ago
0
coq-mathcomp-ssreflect.2.2.0 works on Coq 8.20
#3077
palmskog
closed
5 months ago
0
real-closed 1.1.4 compiles with Coq 8.20
#3076
proux01
closed
5 months ago
0
reglang 1.1.3 compiles with Coq 8.20
#3075
proux01
closed
5 months ago
0
mathcomp-zify 1.3.0 compiles with Coq 8.20
#3074
proux01
closed
5 months ago
0
finmap 1.5.2 compiles with Coq 8.20
#3073
proux01
closed
5 months ago
0
bigenough compiles with Coq 8.20
#3072
proux01
closed
5 months ago
0
extructures 0.3.1 compiles wth Coq 8.20
#3071
proux01
closed
5 months ago
0
deriving 0.1.1 compiles with Coq 8.20
#3070
proux01
closed
5 months ago
0
zorn-lemma 10.2.0 compiles with Coq 8.20
#3069
proux01
closed
5 months ago
0
paramcoq 1.1.3+coq8.20
#3068
proux01
closed
5 months ago
0
paco 4.2.0 compiles with Coq 8.20
#3067
proux01
closed
5 months ago
0
mathcomp 1.19 compiles wth Coq 8.20
#3066
proux01
closed
5 months ago
1
Previous
Next