diff options
| author | Ryan Mulligan <ryan@ryantm.com> | 2019-03-11 21:01:52 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-03-11 21:01:52 -0700 |
| commit | ca3b67355c92db12dedef72dbeb18ba0ec91267b (patch) | |
| tree | 1de82b310cc8ea78633f469dd367a85add55bbab /pkgs/development/coq-modules | |
| parent | 835faea4d0b5b0e8b854ff61445c381cd9d1a6c3 (diff) | |
| parent | f8139bce5e5efb5469dece044f12e6576ada40c8 (diff) | |
| download | nixpkgs-ca3b67355c92db12dedef72dbeb18ba0ec91267b.tar nixpkgs-ca3b67355c92db12dedef72dbeb18ba0ec91267b.tar.gz nixpkgs-ca3b67355c92db12dedef72dbeb18ba0ec91267b.tar.bz2 nixpkgs-ca3b67355c92db12dedef72dbeb18ba0ec91267b.tar.lz nixpkgs-ca3b67355c92db12dedef72dbeb18ba0ec91267b.tar.xz nixpkgs-ca3b67355c92db12dedef72dbeb18ba0ec91267b.tar.zst nixpkgs-ca3b67355c92db12dedef72dbeb18ba0ec91267b.zip | |
Merge pull request #57476 from eadwu/glava/1.6.0
glava: 1.5.8 -> 1.6.0
Diffstat (limited to 'pkgs/development/coq-modules')
0 files changed, 0 insertions, 0 deletions