diff options
| author | Valentin Robert <valentin.robert.42@gmail.com> | 2019-01-11 11:25:05 -0800 |
|---|---|---|
| committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2019-01-30 11:30:23 +0000 |
| commit | f5dbe5de072a7595949f27adbd8955af2927a3db (patch) | |
| tree | 5299341d19a58be16d24b041dfac9d0884da603d /pkgs/misc | |
| parent | 4a200fbbf0a26c55e5ecb280cf173569bd813197 (diff) | |
| download | nixlib-f5dbe5de072a7595949f27adbd8955af2927a3db.tar nixlib-f5dbe5de072a7595949f27adbd8955af2927a3db.tar.gz nixlib-f5dbe5de072a7595949f27adbd8955af2927a3db.tar.bz2 nixlib-f5dbe5de072a7595949f27adbd8955af2927a3db.tar.lz nixlib-f5dbe5de072a7595949f27adbd8955af2927a3db.tar.xz nixlib-f5dbe5de072a7595949f27adbd8955af2927a3db.tar.zst nixlib-f5dbe5de072a7595949f27adbd8955af2927a3db.zip | |
coqPackages.coq-extensible-records: init at 1.2.0
Diffstat (limited to 'pkgs/misc')
0 files changed, 0 insertions, 0 deletions