asis (2010-5) unstable; urgency=low
* debian/rules: use wildcards in lintian overrides to make them
arch-independent. Closes: #677155 and special thanks to Jakub Wilk
for reporting the bug so quickly and suggesting this solution.
-- Ludovic Brenta <lbrenta@debian.org> Tue, 12 Jun 2012 08:52:50 +0200
asis (2010-4) unstable; urgency=low
* debian/tools.gpr, debian/rules: correct th
more»ASIS-for-GNAT was originally developed by the ASIS-for-GNAT team at the
Software Engineering Laboratory of the Swiss Federal Institute of
Technology (LGL-EPFL) in Lausanne, Switzerland, in cooperation with the
Scientific Research Computer Center of Moscow State University (SRCC
MSU), Russia, with funding partially provided by grants from the Swiss
National Science Foundation and
more»
