diff options
author | Simon Lackerbauer <simon@lackerbauer.com> | 2017-10-15 16:17:15 +0200 |
---|---|---|
committer | Robin Gloster <mail@glob.in> | 2017-10-16 02:39:16 +0200 |
commit | 800f751740ac699b7e881806239677e3cca31e89 (patch) | |
tree | c0d5ad53be6bc5e77d4a6737302b9de3a1b36a80 /pkgs/applications/science/logic/ott | |
parent | bb94e0408f82e1279261b8dfff0111e466db74ff (diff) | |
download | nixlib-800f751740ac699b7e881806239677e3cca31e89.tar nixlib-800f751740ac699b7e881806239677e3cca31e89.tar.gz nixlib-800f751740ac699b7e881806239677e3cca31e89.tar.bz2 nixlib-800f751740ac699b7e881806239677e3cca31e89.tar.lz nixlib-800f751740ac699b7e881806239677e3cca31e89.tar.xz nixlib-800f751740ac699b7e881806239677e3cca31e89.tar.zst nixlib-800f751740ac699b7e881806239677e3cca31e89.zip |
abella: 2.0.2 -> 2.0.4
Diffstat (limited to 'pkgs/applications/science/logic/ott')
0 files changed, 0 insertions, 0 deletions