diff options
| author | Vincent Laporte | 2018-03-09 16:01:47 +0000 |
|---|---|---|
| committer | Vincent Laporte | 2018-03-09 16:11:30 +0000 |
| commit | 8fee0fdcb0e9021ee3427cffcba4e77c6a6e3bc9 (patch) | |
| tree | 60ad9b19eedd3c63185fa2cada5ed02b1857f07c /vernac/comProgramFixpoint.ml | |
| parent | d7232032b3d25e965c5265c5453fc609833317b5 (diff) | |
[default.nix] Pin nixpkgs version to include Sphinx dependencies
Diffstat (limited to 'vernac/comProgramFixpoint.ml')
0 files changed, 0 insertions, 0 deletions