diff options
| author | Matthew Bauer <mjbauer95@gmail.com> | 2017-04-20 19:41:13 -0500 |
|---|---|---|
| committer | Matthew Bauer <mjbauer95@gmail.com> | 2017-04-23 18:08:37 -0500 |
| commit | 18b8a22bca1959813095f24333a8bea341b7c8cc (patch) | |
| tree | 9f74217f1e8292971e40749d2cfd7b7a6665cadc /pkgs/development/coq-modules | |
| parent | 0293d0dbecb6ac57ceb253a07e038da0c673fbe6 (diff) | |
| download | nixlib-18b8a22bca1959813095f24333a8bea341b7c8cc.tar nixlib-18b8a22bca1959813095f24333a8bea341b7c8cc.tar.gz nixlib-18b8a22bca1959813095f24333a8bea341b7c8cc.tar.bz2 nixlib-18b8a22bca1959813095f24333a8bea341b7c8cc.tar.lz nixlib-18b8a22bca1959813095f24333a8bea341b7c8cc.tar.xz nixlib-18b8a22bca1959813095f24333a8bea341b7c8cc.tar.zst nixlib-18b8a22bca1959813095f24333a8bea341b7c8cc.zip | |
libdiscid: support darwin
Diffstat (limited to 'pkgs/development/coq-modules')
0 files changed, 0 insertions, 0 deletions