search

coq-community / corn

Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe,@Lysxia]
http://c-corn.github.io/
GNU General Public License v2.0
108 stars 43 forks source link

New release? #160

Closed larsr closed 3 years ago

larsr commented 3 years ago

I'm trying to update the .nix file for CoRN. Is would be helpful if you could make a new release with the patch #159, because it is necessary to compile with coq 8.13. Thanks.

Zimmi48 commented 3 years ago

Done. See https://github.com/coq-community/corn/releases/tag/8.13.0, https://github.com/NixOS/nixpkgs/pull/136989 and https://github.com/coq/opam-coq-archive/pull/1807.