diff options
| author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2017-12-18 01:28:08 +0000 |
|---|---|---|
| committer | Vincent Laporte <Vincent.Laporte@gmail.com> | 2017-12-18 15:30:37 +0000 |
| commit | 5642f4ac6fad637e21616123354b6e9443a2557a (patch) | |
| tree | a4ec4d081f146977878ad03dc0f6844f4998d115 /.version | |
| parent | 4c454a320886751115a6c03764f407d8079ef886 (diff) | |
| download | nixpkgs-5642f4ac6fad637e21616123354b6e9443a2557a.tar nixpkgs-5642f4ac6fad637e21616123354b6e9443a2557a.tar.gz nixpkgs-5642f4ac6fad637e21616123354b6e9443a2557a.tar.bz2 nixpkgs-5642f4ac6fad637e21616123354b6e9443a2557a.tar.lz nixpkgs-5642f4ac6fad637e21616123354b6e9443a2557a.tar.xz nixpkgs-5642f4ac6fad637e21616123354b6e9443a2557a.tar.zst nixpkgs-5642f4ac6fad637e21616123354b6e9443a2557a.zip | |
coqPackages: update documentation
Diffstat (limited to '.version')
0 files changed, 0 insertions, 0 deletions