aboutsummaryrefslogtreecommitdiff
path: root/debian
diff options
context:
space:
mode:
authorhattenberger2013-02-22 16:05:16 +0000
committerhattenberger2013-02-22 16:05:16 +0000
commite21fa0025a7a310aacd105a5caf945bfc53b0b7c (patch)
tree360884184e609306601fda4781c1bfb64b0aa2e8 /debian
parentb03001c17150b87e32d455e06540f6167f4f5d65 (diff)
downloadivy-ocaml-e21fa0025a7a310aacd105a5caf945bfc53b0b7c.zip
ivy-ocaml-e21fa0025a7a310aacd105a5caf945bfc53b0b7c.tar.gz
ivy-ocaml-e21fa0025a7a310aacd105a5caf945bfc53b0b7c.tar.bz2
ivy-ocaml-e21fa0025a7a310aacd105a5caf945bfc53b0b7c.tar.xz
back to ivy-ocaml naming and add source format (native)
Diffstat (limited to 'debian')
-rw-r--r--debian/source/format1
1 files changed, 1 insertions, 0 deletions
diff --git a/debian/source/format b/debian/source/format
new file mode 100644
index 0000000..89ae9db
--- /dev/null
+++ b/debian/source/format
@@ -0,0 +1 @@
+3.0 (native)