Skip to content
GitLab
Menu
Why GitLab
Pricing
Contact Sales
Explore
Why GitLab
Pricing
Contact Sales
Explore
Sign in
Get free trial
coq
opam
Repository
Branches
Overview
Active
Stale
All
This project is mirrored from
https://*****@github.com/coq/opam-coq-archive.git
. Pull mirroring updated
Apr 26, 2024
.
Active branches
pr-3028
26610199
·
[CI merge] PR #3028: Package coq-finmatrix.1.0.0
·
Apr 25, 2024
master
default
protected
53d49f66
·
Merge pull request #3027 from palmskog/add-mtac2-8.19
·
Apr 24, 2024
pr-3011
34418959
·
[CI merge] PR #3011: coq-simple-io.dev : remove dune upper bound
·
Apr 08, 2024
pr-2984
0abecfe6
·
[CI merge] PR #2984: Add coq-itree-extra.dev
·
Mar 25, 2024
metacoq-1.3-for-8.17
1efc0f79
·
Try to fix wrong PR url
·
Mar 07, 2024
Stale branches
coq-io-3.3.0
8a794b19
·
Add coq-io version 3.3.0
·
Oct 23, 2016
!106
revert-151-topology
0f01f421
·
Revert "Add bmsherman/topology package as coq-formal-topology"
·
Apr 29, 2017
!152
opam2-core-dev
07948ac4
·
CI: print the tail of logs
·
Nov 07, 2018
gares-patch-ra
98ad1a54
·
Fix opam file of relational algebra (fix #536)
·
Dec 18, 2018
template-coq-urls
595a7632
·
Fix urls and checksums of template-coq packages
·
Jan 14, 2019