Skip to content

Files

Latest commit

 

History

History
 
 

released

Folders and files

NameName
Last commit message
Last commit date

parent directory

..
 
 
 
 
 
 
 
 
 
 

Released repository

The repository for all the released packages.

opam repo add coq-released https://coq.inria.fr/opam/released

If you want to add your package, please do a pull-request to this repository.