John Wiegley 60a6b81e2d coqPackages.equations: -> 1.0		2017-12-21 01:06:14 -08:00
..
default.nix	coqPackages.equations: -> 1.0	2017-12-21 01:06:14 -08:00