Commits on Source (16)
-
Hilko Bengen authored
-
Stephane Glondu authored
-
Stephane Glondu authored
-
Stephane Glondu authored
-
Stephane Glondu authored
-
Stephane Glondu authored
-
Stephane Glondu authored
Update to upstream version '0.12.0' with Debian dir 7b97caed11da6a8404532074bd4bd04cdb6b40e2
-
Stephane Glondu authored
-
Stephane Glondu authored
-
Stephane Glondu authored
-
Stephane Glondu authored
-
Stephane Glondu authored
-
Stephane Glondu authored
-
Stephane Glondu authored
-
Stephane Glondu authored
-
Stephane Glondu authored
CONTRIBUTING.md
0 → 100644
INRIA-DISCLAIMER.txt
deleted
100644 → 0
INSTALL.txt
deleted
100644 → 0
LICENSE.md
0 → 100644
LICENSE.txt
deleted
100644 → 0
THIRD-PARTY.txt
deleted
100644 → 0
_oasis
deleted
100644 → 0
_tags
deleted
100644 → 0
configure
deleted
100755 → 0
debian/compat
deleted
100644 → 0
debian/libtyperep-ocaml-dev.docs
0 → 100644
debian/libtyperep-ocaml-dev.install.in
0 → 100644
debian/libtyperep-ocaml.install.in
0 → 100644