HomeSource World

Merge pull request #85872 from vbgl/coq-equations-1.2.1

Description

Merge pull request #85872 from vbgl/coq-equations-1.2.1

coqPackages.equations: 1.2 → 1.2.1

Details

Provenance
Damien Cassou <damien@cassou.me>Authored on Apr 26 2020, 6:29 PM
GitHub <noreply@github.com>Committed on Apr 26 2020, 6:29 PM
sorpaasPushed on May 4 2020, 1:46 PM
Parents
rNIXPKGSa4adb1f75b5e: coqPackages.equations: 1.2 → 1.2.1
rNIXPKGSac57a6c0b391: Merge pull request #85594 from mkg20001/jetbrains-update
Branches
Unknown
Tags
Unknown

Event Timeline

GitHub <noreply@github.com> committed rNIXPKGSd19994b58e59: Merge pull request #85872 from vbgl/coq-equations-1.2.1 (authored by Damien Cassou <damien@cassou.me>).Apr 26 2020, 6:29 PM