Files
-rw-r--r-- | 393 | iurt | iurt | add-datarootdir.patch |
-rw-r--r-- | 663 | iurt | iurt | fix-install-dirs.patch |
-rw-r--r-- | 23253 | iurt | iurt | ocaml-psmt2-frontend-0.1.tar.gz |
-rw-r--r-- | 1941 | iurt | iurt | ocaml-psmt2-frontend.spec |
-rw-r--r-- | 393 | iurt | iurt | add-datarootdir.patch |
-rw-r--r-- | 663 | iurt | iurt | fix-install-dirs.patch |
-rw-r--r-- | 23253 | iurt | iurt | ocaml-psmt2-frontend-0.1.tar.gz |
-rw-r--r-- | 1941 | iurt | iurt | ocaml-psmt2-frontend.spec |