compcert (2.4-1) unstable; urgency=medium

  * Initial release.

 -- Benjamin Barenblat <bbaren@mit.edu>  Thu, 05 Feb 2015 21:57:30 -0500