diff options
| author | Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2018-10-08 21:10:05 +0200 |
|---|---|---|
| committer | Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2018-10-08 21:10:05 +0200 |
| commit | 62cf2840bdadeeb5aceee4cd3a1947fb22496335 (patch) | |
| tree | 605a5a6cc9e6ca3c5447384ab195895bd3094f77 /pkgs/applications/science/logic | |
| parent | 3d683f33f342a70eb8f03a7077a32ff3cf84e440 (diff) | |
| download | nixlib-62cf2840bdadeeb5aceee4cd3a1947fb22496335.tar nixlib-62cf2840bdadeeb5aceee4cd3a1947fb22496335.tar.gz nixlib-62cf2840bdadeeb5aceee4cd3a1947fb22496335.tar.bz2 nixlib-62cf2840bdadeeb5aceee4cd3a1947fb22496335.tar.lz nixlib-62cf2840bdadeeb5aceee4cd3a1947fb22496335.tar.xz nixlib-62cf2840bdadeeb5aceee4cd3a1947fb22496335.tar.zst nixlib-62cf2840bdadeeb5aceee4cd3a1947fb22496335.zip | |
ocamlPackages_3_10_0: remove
Diffstat (limited to 'pkgs/applications/science/logic')
0 files changed, 0 insertions, 0 deletions