diff -Nru paparazzi-dev-3.11/debian/changelog paparazzi-dev-3.12/debian/changelog
--- paparazzi-dev-3.11/debian/changelog	2013-03-20 12:20:01.000000000 +0000
+++ paparazzi-dev-3.12/debian/changelog	2013-04-23 21:36:04.000000000 +0000
@@ -1,3 +1,9 @@
+paparazzi-dev (3.12) precise; urgency=low
+
+  * add ocaml-native-compilers to recommends
+
+ -- Felix Ruess <felix.ruess@gmail.com>  Tue, 23 Apr 2013 23:34:44 +0200
+
 paparazzi-dev (3.11) precise; urgency=low
 
   * add meld to recommends
diff -Nru paparazzi-dev-3.11/debian/control paparazzi-dev-3.12/debian/control
--- paparazzi-dev-3.11/debian/control	2013-03-20 12:20:01.000000000 +0000
+++ paparazzi-dev-3.12/debian/control	2013-04-23 21:34:38.000000000 +0000
@@ -9,6 +9,6 @@
 Package: paparazzi-dev
 Architecture: all
 Depends: ivy-c-dev, ivy-c, ivy-ocaml, ocaml-findlib, libxml-light-ocaml-dev, liblablgtk2-ocaml-dev, liblablgtk2-gnome-ocaml-dev, libocamlnet-ocaml-dev, libsdl-ocaml-dev, libpcre-ocaml-dev, gtk2-engines-pixbuf, make, gcc, g++, libgsl0-dev, gnuplot, libgnomecanvas2-dev, bzip2, git, libusb-dev, speech-dispatcher, glade, imagemagick, libpcre3-dev, ivy-python, python-lxml, python-wxgtk2.8, python-usb, python-yaml
-Recommends: paparazzi-arm-multilib, libgtkdatabox-0.9.1-1-dev, python-scipy, python-matplotlib, lpc21isp, openocd (>= 0.5.0), meld
+Recommends: ocaml-native-compilers, paparazzi-arm-multilib, libgtkdatabox-0.9.1-1-dev, python-scipy, python-matplotlib, lpc21isp, openocd (>= 0.5.0), meld
 Suggests: paparazzi-jsbsim, eagle, gs-common, tetex-extra, dia-gnome, boa, gitk, gpsd, libgps-dev, gedit
 Description: Paparazzi Meta Package : common support