HomeSource World

coqPackages.coqhammer: 1.1.1 → 1.2

Description

coqPackages.coqhammer: 1.1.1 → 1.2

Add support for Coq 8.11

Details

Provenance
Vincent Laporte <Vincent.Laporte@gmail.com>Authored on Apr 26 2020, 1:51 PM
sorpaasPushed on May 4 2020, 1:46 PM
Parents
rNIXPKGS5e4abf76c7e7: yaru-theme: 20.04.1 -> 20.04.6 (#86019)
Branches
Unknown
Tags
Unknown

Event Timeline

Vincent Laporte <Vincent.Laporte@gmail.com> committed rNIXPKGSef964a801ebe: coqPackages.coqhammer: 1.1.1 → 1.2 (authored by Vincent Laporte <Vincent.Laporte@gmail.com>).Apr 26 2020, 1:51 PM