diff options
| author | Russell O'Connor <roconnor@theorem.ca> | 2012-08-19 01:05:17 -0400 |
|---|---|---|
| committer | Russell O'Connor <roconnor@theorem.ca> | 2012-08-19 01:05:17 -0400 |
| commit | fdb659906a728b824de1ed32d3afe33ce0cb3851 (patch) | |
| tree | f52022e8befda7fb77fe5866c1d7ebfcfef3e149 /pkgs/applications/science/logic | |
| parent | 706cbc9318ef56d76a48883d9a0b6539e30985c7 (diff) | |
| parent | 006e3fbf46537fa8e14d33a33ceeb66c2a4cd354 (diff) | |
| download | nixlib-fdb659906a728b824de1ed32d3afe33ce0cb3851.tar nixlib-fdb659906a728b824de1ed32d3afe33ce0cb3851.tar.gz nixlib-fdb659906a728b824de1ed32d3afe33ce0cb3851.tar.bz2 nixlib-fdb659906a728b824de1ed32d3afe33ce0cb3851.tar.lz nixlib-fdb659906a728b824de1ed32d3afe33ce0cb3851.tar.xz nixlib-fdb659906a728b824de1ed32d3afe33ce0cb3851.tar.zst nixlib-fdb659906a728b824de1ed32d3afe33ce0cb3851.zip | |
Merge branch 'master' of https://github.com/NixOS/nixpkgs
Diffstat (limited to 'pkgs/applications/science/logic')
0 files changed, 0 insertions, 0 deletions