aboutsummaryrefslogtreecommitdiff
path: root/debian/changelog.3.12.0
diff options
context:
space:
mode:
Diffstat (limited to 'debian/changelog.3.12.0')
-rw-r--r--debian/changelog.3.12.062
1 files changed, 0 insertions, 62 deletions
diff --git a/debian/changelog.3.12.0 b/debian/changelog.3.12.0
deleted file mode 100644
index 3e88924..0000000
--- a/debian/changelog.3.12.0
+++ /dev/null
@@ -1,62 +0,0 @@
-ivy-ocaml (1.1-13) unstable; urgency=low
-
- * Update for ocaml 1.12.0
-
- -- Gautier Hattenberger <gautier.hattenberger@enac.fr> Tue, 18 Oct 2011 17:53:31 +0100
-
-ivy-ocaml (1.1-12) unstable; urgency=low
-
- * Support for ivy-c_3.11.8
-
- -- Gautier Hattenberger <gautier.hattenberger@enac.fr> Wed, 02 Feb 2011 17:49:31 +0100
-
-ivy-ocaml (1.1-11) unstable; urgency=low
-
- * Support of ivy-c_3.11.6, OSX and Linux 64bit
-
- -- Gautier Hattenberger <gautier.hattenberger@enac.fr> Wed, 1 Dec 2010 10:43:29 +0100
-
-ivy-ocaml (1.1-10) unstable; urgency=low
-
- * Updated for ocaml 3.11.2
-
- -- Pascal Brisset (Hecto) <pascal.brisset@enac.fr> Thu, 25 Feb 2010 09:58:29 +0100
-
-ivy-ocaml (1.1-7) unstable; urgency=low
-
- * Updated for ocaml 3.10.2
-
- -- Pascal Brisset (Hecto) <pascal.brisset@enac.fr> Fri, 23 May 2008 23:18:00 +0200
-
-ivy-ocaml (1.1-6) unstable; urgency=low
-
- * Updated for ocaml 3.10.1
-
- -- Pascal Brisset (Hecto) <pascal.brisset@enac.fr> Mon, 25 Feb 2008 10:31:49 +0100
-
-ivy-ocaml (1.1-5) unstable; urgency=low
-
- * Updated for ocaml 3.10
-
- -- Pascal Brisset (Hecto) <pascal.brisset@enac.fr> Tue, 04 Sep 2007 20:41:49 +0200
-
-ivy-ocaml (1.1-4) unstable; urgency=low
-
- * Updated for ocaml 3.09.2-6
-
- -- Antoine Drouin (Poine) <poine@recherche.enac.fr> Fri, 04 Aug 2006 13:40:54 +0200
-
-ivy-ocaml (1.1-3) unstable; urgency=low
-
- * Updated for ivy 3.8
-
- -- Antoine Drouin (Poine) <poine@recherche.enac.fr> Fri, 28 Jul 2006 13:40:54 +0200
-
-ivy-ocaml (1.0-2) unstable; urgency=low
-
- * Updated for ocaml 3.09
-
- * Initial Release.
-
- -- Pascal Brisset (Hecto) <pascal.brisset@enac.fr> Thu, 7 Oct 2004 13:40:54 +0200
-