debian/changelog
author Mario de Sousa <msousa@fe.up.pt>
Fri, 10 Feb 2012 19:04:31 +0000
changeset 438 744b125d911e
parent 214 fb571ae783bc
permissions -rwxr-xr-x
Add support for semantic verification of function calls in IL.
matiec (2009.0-%DATEVERSION%) unstable; urgency=low

  * Initial release (Closes: #nnnn)  <nnnn is the bug number of your ITP>

 -- edouard <edouard.tisserant@gmail.com>  Wed, 21 Nov 2007 17:01:50 +0100