diff options
| author | vbgl <vbgl@users.noreply.github.com> | 2015-10-05 07:29:14 +0200 |
|---|---|---|
| committer | vbgl <vbgl@users.noreply.github.com> | 2015-10-05 07:29:14 +0200 |
| commit | 0de1939a777a77bb6e9362cf6eda004aad8efb8b (patch) | |
| tree | f97335f1c9fd2ac041bdd15a2a98924b6ca2db5d /pkgs/development/libraries | |
| parent | 61672889f272133fc4c56b49af39521321558407 (diff) | |
| parent | 6a238d4b3edebfc878e470d2a62e00d7337d2dd8 (diff) | |
| download | nixpkgs-0de1939a777a77bb6e9362cf6eda004aad8efb8b.tar nixpkgs-0de1939a777a77bb6e9362cf6eda004aad8efb8b.tar.gz nixpkgs-0de1939a777a77bb6e9362cf6eda004aad8efb8b.tar.bz2 nixpkgs-0de1939a777a77bb6e9362cf6eda004aad8efb8b.tar.lz nixpkgs-0de1939a777a77bb6e9362cf6eda004aad8efb8b.tar.xz nixpkgs-0de1939a777a77bb6e9362cf6eda004aad8efb8b.tar.zst nixpkgs-0de1939a777a77bb6e9362cf6eda004aad8efb8b.zip | |
Merge pull request #10087 from vbgl/coq-ext-lib
coq-ext-lib: c2c71a2a -> 0.9.0 & 1.0.0-beta2
Diffstat (limited to 'pkgs/development/libraries')
0 files changed, 0 insertions, 0 deletions