coq/opam issues and pull requests

#3158 - Release coq-simple-io.1.10.0

Pull Request - State: closed - Opened by Lysxia 6 days ago

#3157 - coq-yalla v2.0.5 & v2.0.6

Pull Request - State: closed - Opened by olaure01 6 days ago

#3156 - coq-ollibs v2.0.6 & v2.0.7

Pull Request - State: closed - Opened by olaure01 6 days ago

#3155 - fix coqdep issue in Windows for coq-mtac2.1.4+8.19

Pull Request - State: closed - Opened by palmskog 9 days ago

#3154 - Package coq-ext-lib.0.12.2

Pull Request - State: closed - Opened by liyishuai 18 days ago

#3153 - Release Coq 8.20

Pull Request - State: closed - Opened by proux01 18 days ago - 6 comments

#3152 - ITree: requires Dune 3.14

Pull Request - State: closed - Opened by liyishuai 19 days ago

#3151 - add coq-serapi.8.20+rc1+0.20.0

Pull Request - State: closed - Opened by palmskog 23 days ago

#3150 - Kruskal Trees, Finite and Almostfull: split clean Makefile target

Pull Request - State: closed - Opened by DmxLarchey 26 days ago - 14 comments

#3149 - a formalization of axiomatic reals based on Morse-Kelley set theory

Pull Request - State: closed - Opened by 1DGW 27 days ago - 3 comments

#3148 - MetaCoq 1.3.2 for Coq 8.20

Pull Request - State: closed - Opened by mattam82 27 days ago

#3147 - a formalization of axiomatic reals

Pull Request - State: closed - Opened by 1DGW about 1 month ago - 1 comment

#3146 - formalization of axiomatic reals based on Morse-Kelley set theory

Pull Request - State: closed - Opened by 1DGW about 1 month ago - 2 comments

#3145 - axiomatic reals based on the Morse-Kelley set theory

Pull Request - State: closed - Opened by 1DGW about 1 month ago

#3144 - a Coq formalization of the axiomatic definition of real numbers

Pull Request - State: closed - Opened by 1DGW about 1 month ago

#3143 - fix metadata for coq-comp-dec-modal.1.2

Pull Request - State: closed - Opened by palmskog about 1 month ago

#3142 - add gaia 2.2 packages

Pull Request - State: closed - Opened by palmskog about 1 month ago

#3141 - backwards-compatible patch to make coq-mmaps.1.1 work with Coq 8.20

Pull Request - State: closed - Opened by palmskog about 1 month ago

#3140 - Add itauto for 8.20

Pull Request - State: closed - Opened by palmskog about 1 month ago

#3139 - avoid-version flag for coq-mathcomp-analysis.1.3.0 due to risk of universe inconsistencies

Pull Request - State: closed - Opened by palmskog about 1 month ago

#3138 - release MathComp-Analysis 1.3.1

Pull Request - State: closed - Opened by affeldt-aist about 1 month ago

#3137 - release MathComp-Analysis 1.3.0

Pull Request - State: closed - Opened by affeldt-aist about 2 months ago

#3136 - Fix the dependencies of coq-mathcomp-real-closed.2.0.1

Pull Request - State: closed - Opened by pi8027 about 2 months ago

#3135 - coq-deriving.0.2.0 works on Coq 8.20

Pull Request - State: closed - Opened by palmskog about 2 months ago

#3134 - coq-quickchick.2.0.3 doesn't work on Coq 8.20

Pull Request - State: closed - Opened by palmskog about 2 months ago

#3133 - coq-relation-algebra.1.7.10 does not work on Coq 8.20

Pull Request - State: closed - Opened by palmskog about 2 months ago

#3132 - coq-ott.0.33 works on Coq 8.20

Pull Request - State: closed - Opened by palmskog about 2 months ago

#3131 - patch coq-mathcomp-analysis.0.7.0 for Coq 8.20

Pull Request - State: closed - Opened by palmskog about 2 months ago - 1 comment

#3130 - coq-coqprime.1.5.0 works on Coq 8.20

Pull Request - State: closed - Opened by palmskog about 2 months ago

#3129 - coq-coqeal.2.0.2 works on Coq 8.20

Pull Request - State: closed - Opened by palmskog about 2 months ago

#3128 - Package coq-elpi.2.2.3

Pull Request - State: closed - Opened by coqelpibot about 2 months ago

#3127 - add coq-mathcomp-real-closed.2.0.1

Pull Request - State: closed - Opened by palmskog about 2 months ago - 1 comment

#3126 - coq-vst-lib.2.12 and coq-vst-lib.2.13 are not compatible with VST 3

Pull Request - State: closed - Opened by palmskog about 2 months ago

#3125 - coq-vst-zlist.2.13, coq-vst.2.14, coq-vst-lib.2.14, coq-vcfloat.2.2 work on Coq 8.20

Pull Request - State: closed - Opened by palmskog about 2 months ago

#3124 - coq-compcert.3.14, 3.13.1 work on Coq 8.20

Pull Request - State: closed - Opened by palmskog about 2 months ago

#3123 - Add Quantumlib 1.5.1

Pull Request - State: closed - Opened by adrianleh about 2 months ago

#3122 - coq-vcfloat.2.1.1 doesn't work with coq-interval.4.10.0 and later

Pull Request - State: closed - Opened by palmskog about 2 months ago - 3 comments

#3121 - coq-mathcomp-classical.1.2.0 (and analysis-1.2.0) works on Coq 8.20

Pull Request - State: closed - Opened by palmskog about 2 months ago

#3120 - refresh fcsl-pcm, htt, and disel dev packages

Pull Request - State: closed - Opened by palmskog about 2 months ago

#3119 - coq-fcsl-pcm.1.8.0 and coq-htt.1.3.0 work on Coq 8.20 and MC 1.19

Pull Request - State: closed - Opened by palmskog about 2 months ago - 1 comment

#3118 - Add Morse-Kelley set theory

Pull Request - State: closed - Opened by 1DGW 2 months ago - 1 comment

#3117 - Morse-Kelley set theory

Pull Request - State: closed - Opened by 1DGW 2 months ago - 1 comment

#3116 - Add files via upload

Pull Request - State: closed - Opened by 1DGW 2 months ago - 3 comments

#3115 - Add coq-comp-dec-modal.1.2

Pull Request - State: closed - Opened by palmskog 2 months ago

#3114 - update coq-elpi

Pull Request - State: closed - Opened by gares 2 months ago

#3113 - Verified extraction v0.9.2 for Coq 8.19

Pull Request - State: closed - Opened by mattam82 2 months ago

#3112 - Verified extraction v0.9.2 for Coq 8.19

Pull Request - State: closed - Opened by mattam82 2 months ago

#3111 - coq-geocoq.2.5.0 has no URL

Issue - State: closed - Opened by fblanqui 2 months ago - 4 comments

#3110 - MetaCoq 1.3.2 for Coq 8.19

Pull Request - State: closed - Opened by mattam82 2 months ago

#3109 - coq-mathcomp-multinomials.2.2.0 is incompatible with coq-elpi >= 2.2.1

Pull Request - State: closed - Opened by pi8027 2 months ago

#3108 - Tactician for 8.19 and 8.20

Pull Request - State: closed - Opened by LasseBlaauwbroek 2 months ago

#3107 - Package coq-menhirlib.20240715

Pull Request - State: closed - Opened by fpottier 2 months ago

#3106 - coq2html 1.4

Pull Request - State: closed - Opened by xavierleroy 2 months ago

#3105 - Package coq-ssprove.0.2.1

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

#3104 - Switch the build method of coq-mathcomp-multinomials.dev from dune to coq_makefile

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

#3103 - Package coq-elpi.2.2.2

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

#3102 - Add bound coq < 8.21~ for coq-elpi 2.2.1

Pull Request - State: closed - Opened by SkySkimmer 2 months ago - 3 comments

#3101 - add coq-coqtail.8.20

Pull Request - State: closed - Opened by palmskog 2 months ago

#3100 - coq-parseque.0.2.1 and coq-qarith-stern-brocot.8.18.0 work on Coq 8.20

Pull Request - State: closed - Opened by palmskog 2 months ago

#3099 - coq-high-school-geometry.8.16.0 works on 8.20

Pull Request - State: closed - Opened by palmskog 2 months ago

#3098 - add coq-autosubst.1.9

Pull Request - State: closed - Opened by palmskog 2 months ago

#3097 - 2 packages from LPCIC/coq-elpi at 2.2.1

Pull Request - State: closed - Opened by coqelpibot 2 months ago

#3096 - Package coq-ssprove.0.2.0

Pull Request - State: closed - Opened by 4ever2 2 months ago - 1 comment

#3095 - Package coq-rust-extraction.0.1.0

Pull Request - State: closed - Opened by 4ever2 2 months ago

#3094 - Package coq-elm-extraction.0.1.0

Pull Request - State: closed - Opened by 4ever2 2 months ago

#3093 - Add Coq bound `< 8.21~` for coq-elpi.2.2.0

Pull Request - State: closed - Opened by SkySkimmer 2 months ago - 3 comments

#3092 - add coq-equations.1.3.1+8.20 to extra-dev

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

#3091 - Coquelicot 3.4.2

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

#3090 - Allow dune >= 3.15.3 in all packages restricting dune to < 3.14

Pull Request - State: open - Opened by MSoegtropIMC 3 months ago - 7 comments

#3089 - Flocq 4.2.0

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

#3088 - coq-mathcomp-tarjan.1.0.2 works on Coq 8.20

Pull Request - State: closed - Opened by palmskog 3 months ago

#3087 - add coq-graph-theory.0.9.5 and coq-graph-theory-planar.0.9.5

Pull Request - State: closed - Opened by palmskog 3 months ago

#3086 - add coq-atbr for 8.20

Pull Request - State: closed - Opened by palmskog 3 months ago

#3085 - add coq-stalmarck for 8.20

Pull Request - State: closed - Opened by palmskog 3 months ago

#3084 - coq-coinduction.1.9 doesn't work on 8.20

Pull Request - State: closed - Opened by palmskog 3 months ago

#3083 - coq-mathcomp-multinomials.2.2.0 works on 8.20

Pull Request - State: closed - Opened by palmskog 3 months ago

#3082 - coq-fourcolor.1.3.1 works on 8.20

Pull Request - State: closed - Opened by palmskog 3 months ago

#3081 - coq-mathcomp-algebra-tactics.1.2.3 works on 8.20

Pull Request - State: closed - Opened by palmskog 3 months ago

#3080 - coq-mathcomp-zify.1.5.0+2.0+8.16 works on 8.20

Pull Request - State: closed - Opened by palmskog 3 months ago

#3079 - coq-reglang.1.2.1 works on Coq 8.20

Pull Request - State: closed - Opened by palmskog 3 months ago

#3078 - coq-mathcomp-finmap.2.1.0 works on Coq 8.20

Pull Request - State: closed - Opened by palmskog 3 months ago