diff options
author | Markus Kowalewski <markus.kowalewski@gmail.com> | 2018-09-08 14:42:12 +0200 |
---|---|---|
committer | Markus Kowalewski <markus.kowalewski@gmail.com> | 2018-09-08 14:42:12 +0200 |
commit | 2ed07fdb2bf30a202a44976d0263d8c44e20b5b3 (patch) | |
tree | a33bda8d093a5da8ca62cc6c1aa8a0fb8d9d9d7c /pkgs/applications/science/logic/prooftree | |
parent | 2031c0ebfeba4cd2bf24058030da95a56c9b6e91 (diff) | |
download | nixlib-2ed07fdb2bf30a202a44976d0263d8c44e20b5b3.tar nixlib-2ed07fdb2bf30a202a44976d0263d8c44e20b5b3.tar.gz nixlib-2ed07fdb2bf30a202a44976d0263d8c44e20b5b3.tar.bz2 nixlib-2ed07fdb2bf30a202a44976d0263d8c44e20b5b3.tar.lz nixlib-2ed07fdb2bf30a202a44976d0263d8c44e20b5b3.tar.xz nixlib-2ed07fdb2bf30a202a44976d0263d8c44e20b5b3.tar.zst nixlib-2ed07fdb2bf30a202a44976d0263d8c44e20b5b3.zip |
drgeo: add license + homepage
Diffstat (limited to 'pkgs/applications/science/logic/prooftree')
0 files changed, 0 insertions, 0 deletions