diff options
| author | Maxime Dénès | 2018-03-09 19:13:02 +0100 |
|---|---|---|
| committer | Maxime Dénès | 2018-03-09 19:13:02 +0100 |
| commit | 6ba4733a32812e04e831d081737c5665fb12a152 (patch) | |
| tree | 748476471f01f68b6c48689167fb083db7f63397 /vernac/comProgramFixpoint.ml | |
| parent | cbfec2b1a12d1ec93f536776778115e4dd79db16 (diff) | |
| parent | 8fee0fdcb0e9021ee3427cffcba4e77c6a6e3bc9 (diff) | |
Merge PR #6953: [default.nix] Pin nixpkgs version to include Sphinx dependencies
Diffstat (limited to 'vernac/comProgramFixpoint.ml')
0 files changed, 0 insertions, 0 deletions