diff options
author | Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2018-10-10 16:32:05 +0200 |
---|---|---|
committer | Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2018-10-10 19:42:54 +0200 |
commit | eaf0de5985ef1316323c7da4026ed268399a3589 (patch) | |
tree | 98c664f9d347a08df95a0989cf55b367e9f2917d /pkgs/applications/science/logic/cvc4 | |
parent | 7ac0a231949f23a716e379dfab5aed4d179acc4c (diff) | |
download | nixlib-eaf0de5985ef1316323c7da4026ed268399a3589.tar nixlib-eaf0de5985ef1316323c7da4026ed268399a3589.tar.gz nixlib-eaf0de5985ef1316323c7da4026ed268399a3589.tar.bz2 nixlib-eaf0de5985ef1316323c7da4026ed268399a3589.tar.lz nixlib-eaf0de5985ef1316323c7da4026ed268399a3589.tar.xz nixlib-eaf0de5985ef1316323c7da4026ed268399a3589.tar.zst nixlib-eaf0de5985ef1316323c7da4026ed268399a3589.zip |
ulex: remove version 0.8
Diffstat (limited to 'pkgs/applications/science/logic/cvc4')
0 files changed, 0 insertions, 0 deletions