projects / ocaml.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9c1fa64) | patch
Don't install ocamloptp on non-opt architectures, properly
authorXimin Luo <infinity0@debian.org>
Fri, 3 Mar 2017 21:35:06 +0000 (22:35 +0100)
committerXimin Luo <infinity0@debian.org>
Fri, 3 Mar 2017 21:35:06 +0000 (22:35 +0100)
commit1053f13572176c21683bc8af8783f6135513fc54
tree557ea56f645fb24b55c9261d7eafa0beebfc0dc5tree | snapshot
parent9c1fa648a458074a633aa78d4b3fc2649a132f2dcommit | diff
Don't install ocamloptp on non-opt architectures, properly
debian/patches/0011-fix-nonnative-ocamlopt.patch [deleted file] blob | history
debian/patches/series diff | blob | history
debian/rules diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.