HomeSource World

coqPackages.coqhammer: 1.1.1 → 1.2

Authored by Vincent Laporte <Vincent.Laporte@gmail.com> on Apr 26 2020, 1:51 PM.

Description

coqPackages.coqhammer: 1.1.1 → 1.2

Add support for Coq 8.11

Details

Committed
Vincent Laporte <Vincent.Laporte@gmail.com>Apr 26 2020, 1:51 PM
Pushed
sorpaasMay 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