coqPackages.Verdi: 20190202 → 20200131
f0d985cf9ca2
Actions

Description

coqPackages.Verdi: 20190202 → 20200131

Provenance

Vincent Laporte <Vincent.Laporte@gmail.com>	Authored on May 26 2020, 3:39 PM
Vincent Laporte <vbgl@users.noreply.github.com>	Committed on Jun 2 2020, 7:18 AM
sorpaas	Pushed on Jun 4 2020, 10:16 PM

Parents

Branches

Unknown

Tags

Unknown

Vincent Laporte <vbgl@users.noreply.github.com> committed rNIXPKGSf0d985cf9ca2: coqPackages.Verdi: 20190202 → 20200131 (authored by Vincent Laporte <Vincent.Laporte@gmail.com>).Jun 2 2020, 7:18 AM

Path

Size

pkgs/

development/

coq-modules/

Verdi/