--- asis-2010.orig/session.log
+++ asis-2010/session.log
@@ -0,0 +1,29 @@
+ASIStant - ASIS Tester And iNTerpreter, v1.5
+(C) 1997-2010, Free Software Foundation, Inc.
+  Asis Version: ASIS 2.0.R
+
+Couldn't open script file -b. Check the filename.
+>help
+help
+ASIStant - ASIS Tester And iNTerpreter, v1.5
+(C) 1997-2010, Free Software Foundation, Inc.
+
+List of ASIStant utilities :
+
+  HELP (<topic-name>)     Displays help for a specific <topic-name>
+  IF (<bool-expr>,<expr1>[,<expr2>]) Executes <expr1> if <bool-expr> is true,
+                                     otherwise, executes <expr2> if present
+  INFO                    Displays ASIS and ASIStant technical info
+  LOG [("<filename>")]    Opens file as a current log/closes current log
+  LOGLEVEL (<level>)      Sets a logging level to integer <level>, 0..5
+  PAUSE                   Pauses current script
+  PRINT (<variable>)      Prints a value of a variable
+  PRINTDETAIL ("{D|d}{T|t}") Changes PRINT settings
+  QUIT [(<exit-status>)]  Exits program returning <exit-status> or 0
+  RUN [("<filename>")]    Launches script <filename>/resumes paused script
+                          (IRUN = interactively)
+  SET ( <ID>, <expr> )    Declares or changes variable <ID>
+
+Please refer to ASIStant User's Guide for more information.
+>quit
+quit
--- asis-2010.orig/input.log
+++ asis-2010/input.log
@@ -0,0 +1,2 @@
+help
+quit
--- asis-2010.orig/.mtn-ignore
+++ asis-2010/.mtn-ignore
@@ -0,0 +1,30 @@
+.pc/.*
+Makefile.*
+README$
+asis-2005-transition.txt
+asis/.*
+asis_bld.gpr
+asis_install.bat
+asistant
+common.gpr
+debian/asis-programs/.*
+debian/asis-programs\.substvars
+debian/files
+debian/libasis-dev/.*
+debian/libasis2006/.*
+debian/libasis2006\.postinst\.debhelper
+debian/libasis2006\.postrm\.debhelper
+debian/libasis2006\.substvars
+debian/obj/\*
+examples/.*
+features-asis2005$
+gnatcheck$
+gnatelim$
+gnatmetric$
+gnatpp$
+gnatstub$
+lib/.*
+obj/.*
+templates/.*
+tools/.*
+tutorial/.*
--- asis-2010.orig/debian/gnatsync.1
+++ asis-2010/debian/gnatsync.1
@@ -0,0 +1,129 @@
+.\" Hey, Emacs!  This is an -*- nroff -*- source file.
+.\"
+.\" Copyright (C) 2007-2009 AdaCore
+.\" Copyright (C) 2009 Ludovic Brenta <lbrenta@debian.org>
+.\"
+.\" This is free software; you can redistribute it and/or modify it under
+.\" the terms of the GNU General Public License as published by the Free
+.\" Software Foundation; either version 2, or (at your option) any later
+.\" version.
+.\" 
+.\" This is distributed in the hope that it will be useful, but WITHOUT
+.\" ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
+.\" FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
+.\" for more details.
+.\" 
+.\" You should have received a copy of the GNU General Public License with
+.\" your Debian GNU/Linux system, in /usr/share/common-licenses/GPL, or with the
+.\" dpkg source package as the file COPYING.  If not, write to the Free
+.\" Software Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
+.\"
+.TH "GNATSYNC" 1 "November 2009" "GNU Ada Tools" "ASIS Tools"
+.SH NAME
+gnatsync \- The GNAT global dependency detector
+.SH SYNOPSIS
+\fBgnatsync\fR [\fIOPTION\fR]... \fIfilename\fR [\fB-cargs\fR \fIgcc_switches\fR]
+.PP
+\fBgnatsync\fR [\fIOPTION\fR]... -files=\fIfilename\fR [\fB-cargs\fR \fIgcc_switches\fR]
+.SH DESCRIPTION
+.PP
+\fBgnatsync\fR is the GNAT static analysis tool that helps to detect
+potential race conditions in multitasking programs, by exposing the
+global data that is accessed in unsynchronized manner by independent
+threads or Ada tasks.
+
+Input to \fBgnatsync\fR is a set of compilable Ada sources that
+constitutes a complete program. As it output, the tool prints out a
+list of a data objects for which potential unsynchronized access is
+detected, and for each such object the tool provides a list of threads
+that access this object. Each access is specified by a full sequence
+of subprograms calls when a given thread does not reference the object
+directly.
+
+\fBgnatsync\fR is an ASIS-based tool. It compiles the given sources to
+create the corresponding tree files. All these compilations take place
+in a temporary directory, which is created in the beginning of a
+\fBgnatsync\fR run and is deleted when the processing of the argument
+sources is completed. If a source file specified as \fBgnatsync\fR
+argument does not contain a legal Ada program unit, that is to say if
+the program has syntactic of semantic errors, \fBgnatsync\fR cannot
+process it. If the specified source contains an Ada unit which depends
+on Ada units located in other directories, the user can either specify
+the source search path by means of a -I option in '-cargs' section of
+\fBgnatsync\fR parameters, in the same way as the source search path
+can be specified for GNAT. This is not needed if \fBgnatsync\fR is
+called from the GNAT driver with the corresponding project file.
+
+.PP
+In the first form, \fBgnatsync\fR examines the specified Ada source
+files (wildcards are allowed).
+.PP
+In the second form, \fBgnatsync\fR examines the Ada source files
+listed in the specified file.
+.SH OPTIONS
+.TP
+\fB-a\fR
+Process RTL units.
+.TP
+\fB-cargs\fR \fIgcc_switches\fR
+Pass \fIgcc_switches\fR to GCC when producing the tree files.
+.TP
+\fB-d\fR
+Debug mode.
+.TP
+\fB-dd\fR
+Progress indicator mode, for use in the GNAT Programming Studio.
+.TP
+\fB-main\fR=\fIfilename\fR
+Specify file containing main subprogram
+.TP
+\fB-o(s|m|f)\fR
+Output detail level: s=short, m=medium (the default), f=full.
+.TP
+\fB-out_file\fR=\fIfilename\fR
+Send output to \fIfilename\fR.
+.TP
+\fB-q\fR
+Quiet mode: do not report detections on standard output.
+.TP
+\fB-t\fR
+Output execution time.
+.TP
+\fB-threads\fR=\fIfilename\fR
+Specify file describing foreign threads
+.TP
+\fB-v\fR
+Verbose mode.
+.TP
+\fB-wq\fR
+Turn warnings off.
+.SH PROJECT FILE SUPPORT
+\fBgnasync\fR can be applied to any set of sources, but it can produce
+useful and complete results when called to a set of sources that make
+up a complete program. The most convenient way to specify such a set
+of sources is a project file. \fBgnatsync\fR can be called from the
+GNAT driver as other tools, so the most practical way of invoking the
+tool is:
+.TP
+\fBgnat sync -P\fR\fIproj\fR \fB-U\fR [\fIoptions\fR]
+.SH AUTHOR
+.PP
+\fBgnatsync\fR was written by AdaCore (http://www.adacore.com).
+.PP
+This manual page was written by Ludovic Brenta <lbrenta@debian.org>
+for the Debian project, from gnatsync's README file.
+.SH COPYRIGHT
+\fBgnatsync\fR is Copyright (c) 2007-2009 AdaCore
+.PP
+This manual page is Copyright (C) 2009 Ludovic Brenta
+<lbrenta@debian.org>.
+.SH SEE ALSO
+.PP
+asistant(1), gnat(1), gnatcheck(1), gnatelim(1), gnatmetric(1), gnatpp(1)
+.PP
+The full documentation for \fBgnatsync\fR in
+/usr/share/doc/asis-programs/README.gnatsync.
+.TP
+\fBinfo asis_ug\fR ASIS-for-GNAT User's Guide
+.TP
+\fBinfo asis_rm\fR ASIS-for-GNAT Reference Manual
--- asis-2010.orig/debian/gnatstub.1
+++ asis-2010/debian/gnatstub.1
@@ -0,0 +1,129 @@
+.\" Hey, Emacs!  This is an -*- nroff -*- source file.
+.\"
+.\" Copyright (C) 1996 Erick Branderhorst <branderh@debian.org>
+.\" Copyright (C) 2006 Ludovic Brenta <ludovic@ludovic-brenta.org>
+.\"
+.\" This is free software; you can redistribute it and/or modify it under
+.\" the terms of the GNU General Public License as published by the Free
+.\" Software Foundation; either version 2, or (at your option) any later
+.\" version.
+.\" 
+.\" This is distributed in the hope that it will be useful, but WITHOUT
+.\" ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
+.\" FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
+.\" for more details.
+.\" 
+.\" You should have received a copy of the GNU General Public License with
+.\" your Debian GNU/Linux system, in /usr/share/common-licenses/GPL, or with the
+.\" dpkg source package as the file COPYING.  If not, write to the Free
+.\" Software Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
+.\"
+.TH "GNATSTUB" 1 "January 2002" "GNU Ada Tools" "ASIS Tools"
+.SH NAME
+gnatstub \- Generate skeletons for Ada package bodies
+.SH SYNOPSIS
+\fBgnatstub\fR [\fIOPTION\fR]... \fIfilename\fR [\fRdirectory\fR]
+.SH DESCRIPTION
+.PP
+\fBgnatstub\fR is an Ada library unit body sample generator. It takes
+a source file containing the source of an Ada library unit declaration
+and generates the sample body for this unit in another source
+file. Sample body is a kind of "minimal", but compilable body for a
+given unit declaration.
+.PP
+\fBgnatstub\fR is an ASIS application developed on top of the ASIS
+implementation for GNAT. The important thing to know about
+\fBgnatstub\fR is that to create a body, \fBgnatstub\fR first compiles
+the spec to create in your current directory the tree output file (or,
+simply, a tree file). After creating a body, \fBgnatstub\fR deletes
+this tree file (the tree file may be kept by setting the corresponding
+option). Therefore, if you have some other ASIS-based tools built on
+top of ASIS-for-GNAT, working on the tree files located in your
+current directory, be aware of possible changes in the set of tree
+files as a result of using gnatstub.
+.SH OPTIONS
+.TP
+\fB-f\fR
+Replace an existing body file (if any) with a body sample. If
+destination directory contains a file which should be considered as
+the body for \fIfilename\fR according to the GNAT file name
+conventions, \fBgnatstub\fR treats this file as a body for
+\fIfilename\fR, and it does not create a sample body if '-f' option is
+not set;
+.TP
+\fB-hs\fR
+Put in body sample the comment header from the source of the library
+unit declaration contained in \fIfilename\fR ("comment header" is all
+the comments preceding the compilation unit).
+.TP
+\fB-hg\fR
+Put in body sample a sample comment header.
+.TP
+\fB-I\fR\fIdir\fR
+.TP
+\fB-I-\fR
+These options have just the same meaning as in calls to \fBgnatgcc\fR
+or \fBgnatmake\fR. They are used to define the source search path in
+the call to \fBgnatgcc\fR issued by \fBgnatstub\fR to create the tree
+file. Note, that to create a body, \fBgnatstub\fR needs a legal Ada
+unit, therefore if \fIfilename\fR depends on some unit located in
+another directory, '-I' should be used to provide the path to this
+unit.
+.TP
+\fB-i\fB\fR\fIn\fR
+(n is a decimal natural number) Sets the indentation level in a body
+sample to \fIn\fR, '-i0' means "no indentation", the default
+indentation is 3;
+.TP
+\fB-k\fR
+Do not remove the tree file: as default, gnatstub removes from the
+current directory the tree file created for \fIfilename\fR after
+creating the body sampler. '-k' prevents deleting the tree file.
+.TP
+\fB-l\fB\fR\fIn\fR
+(n is a decimal positive number) Sets maximum line length in a body
+sample to \fIn\fR, the default line length is 78;
+.TP
+\fB-q\fR
+Quiet mode: gnatstub does not generate a confirmation when a body is
+successfully created or a message when a body is not required for an
+argument unit.
+.TP
+\fB-t\fR
+Overwrite the existing tree file: if the current directory already
+contains the file which, according to the GNAT file name rules should
+be considered as a tree file for \fIfilename\fR, \fBgnatstub\fR will
+refuse to create the tree file needed to create a body sampler, unless '-t'
+option is set.
+.TP
+\fB-v\fR
+Verbose mode: gnatstub generates version information.
+.SH AUTHOR
+.PP
+\fBgnatstub\fR is free software. It was originally developed by Alexei
+Kuchumov as a part of collaboration between Software Engineering
+Laboratory of the Swiss Federal Institute of Technology in Lausanne,
+Switzerland, in cooperation with the Scientific Research Computer
+Center of Moscow State University (SRCC MSU), Russia. This work was
+supported by a grant from the Swiss National Science Foundation, no
+7SUPJ048247, funding a project entitled "Development of ASIS for GNAT
+with industry quality".
+.PP
+Now \fBgnatstub\fR is maintained by Ada Core Technologies, Inc
+(http://www.gnat.com).
+.PP
+This manual page was written by Ludovic Brenta
+<ludovic@ludovic-brenta.org> for the Debian project.
+.SH COPYRIGHT
+Copyright (c) 1995-1997, Free Software Foundation, Inc.
+.SH SEE ALSO
+.PP
+asistant(1), gnat(1), gnatcheck(1), gnatelim(1), gnatmetric(1),
+gnatpp(1)
+.PP
+The full documentation for \fBgnatstub\fR in
+/usr/share/doc/asis-programs/README.gnatstub.
+.TP
+\fBinfo asis_ug\fR ASIS-for-GNAT User's Guide
+.TP
+\fBinfo asis_rm\fR ASIS-for-GNAT Reference Manual
--- asis-2010.orig/debian/asis.gpr
+++ asis-2010/debian/asis.gpr
@@ -0,0 +1,37 @@
+--  ASIS project file for use with GCC 4.3 or later
+--  Copyright (c) 2003, 2006, 2008 Ludovic Brenta <ludovic@ludovic-brenta.org>
+--
+--  This program is free software; you can redistribute it and/or modify
+--  it under the terms of the GNU General Public License as published by
+--  the Free Software Foundation; either version 3 of the License, or
+--  (at your option) any later version.
+--
+--  This program is distributed in the hope that it will be useful,
+--  but WITHOUT ANY WARRANTY; without even the implied warranty of
+--  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+--  GNU General Public License for more details.
+--
+--  This project file is designed to help build applications that use
+--  Asis.  Here is an example of how to use this project file:
+--
+--  with "asis";
+--  project Example is
+--     for Object_Dir use "obj";
+--     for Exec_Dir use ".";
+--     for Main use ("example");
+--     package Linker renames Asis.Linker;
+--     --  Alternatively, if you need additional switches:
+--     --  package Linker is
+--     --     for Default_Switches ("Ada") use (Asis.Ada_Switches & ...)
+--     --  end Linker;
+--  end Example;
+
+with "gnatvsn.gpr";
+project ASIS is
+   for Source_Dirs use ("/usr/share/ada/adainclude/asis");
+   for Library_Name use "asis";
+   for Library_ALI_Dir use "/usr/lib/ada/adalib/asis";
+   for Library_Dir use "/usr/lib";
+   for Library_Kind use "dynamic";
+   for Externally_Built use "true";
+end ASIS;
--- asis-2010.orig/debian/tools.gpr
+++ asis-2010/debian/tools.gpr
@@ -0,0 +1,42 @@
+--  GNAT Project file that builds the ASIS programs.
+--  Copyright (c) 2005, 2009, 2011, 2012 Ludovic Brenta
+--  <ludovic@ludovic-brenta.org>
+
+--  This program is free software; you can redistribute it and/or modify
+--  it under the terms of the GNU General Public License as published by
+--  the Free Software Foundation; either version 2 of the License, or
+--  (at your option) any later version.
+--
+--  This program is distributed in the hope that it will be useful,
+--  but WITHOUT ANY WARRANTY; without even the implied warranty of
+--  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+--  GNU General Public License for more details.
+
+with "gnatvsn.gpr";
+with "./install_asis.gpr";
+project Tools is
+   for Source_Dirs use ("../tools/" & External ("Target"),
+			"../tools/tool_utils",
+			"../tools/tool_utils/templates");
+   for Object_Dir use "../obj-" & External ("Target");
+   for Exec_Dir use "..";
+
+   for Main use ("asistant-driver.adb",
+                 "gnatcheck-driver.adb",
+                 "gnatelim-driver.adb",
+                 "gnatstub-driver.adb",
+                 "asis_ul-several_files_driver.adb");
+
+   package Compiler is
+      for Default_Switches ("Ada")
+        use ("-O2", "-gnatafnoy", "-gnatVa", "-gnatwa");
+   end Compiler;
+
+   package Builder is
+      for Executable ("asistant-driver.adb") use "asistant";
+      for Executable ("gnatcheck-driver.adb") use "gnatcheck";
+      for Executable ("gnatelim-driver.adb") use "gnatelim";
+      for Executable ("asis_ul-several_files_driver.adb") use External ("Target");
+      for Executable ("gnatstub-driver.adb") use "gnatstub";
+   end Builder;
+end Tools;
--- asis-2010.orig/debian/install_asis.gpr
+++ asis-2010/debian/install_asis.gpr
@@ -0,0 +1,27 @@
+--  GNAT Project file that builds the ASIS library.
+--  Copyright (c) 2005, 2006, 2008, 2009 Ludovic Brenta <ludovic@ludovic-brenta.org>
+
+--  This program is free software; you can redistribute it and/or modify
+--  it under the terms of the GNU General Public License as published by
+--  the Free Software Foundation; either version 3 of the License, or
+--  (at your option) any later version.
+--
+--  This program is distributed in the hope that it will be useful,
+--  but WITHOUT ANY WARRANTY; without even the implied warranty of
+--  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+--  GNU General Public License for more details.
+with "gnatvsn.gpr";
+project Install_ASIS is
+   for Library_Name use "asis";
+   for Library_Dir use External ("object_dir");
+   for Library_Kind use External ("Library_Kind");
+   for Library_Version use "libasis.so." & External ("soversion");
+   for Source_Dirs use ("../asis");
+   for Object_Dir use External ("object_dir") & "/obj";
+   for Externally_Built use External ("Externally_Built", "false");
+   package Compiler is
+      for Default_Switches ("Ada") use ("-g", "-O2", "-gnatafno", "-gnatwa", "-gnatVa");
+      -- Work around compiler bug #642980
+      for Switches ("asis-text.adb") use ("-g", "-O0", "-gnatafno", "-gnatwa", "-gnatVa");
+   end Compiler;
+end Install_ASIS;
--- asis-2010.orig/debian/gnatpp.1
+++ asis-2010/debian/gnatpp.1
@@ -0,0 +1,206 @@
+.\" Hey, Emacs!  This is an -*- nroff -*- source file.
+.\"
+.\" Copyright (C) 2006 Ludovic Brenta <ludovic@ludovic-brenta.org>
+.\"
+.\" This is free software; you can redistribute it and/or modify it under
+.\" the terms of the GNU General Public License as published by the Free
+.\" Software Foundation; either version 2, or (at your option) any later
+.\" version.
+.\" 
+.\" This is distributed in the hope that it will be useful, but WITHOUT
+.\" ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
+.\" FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
+.\" for more details.
+.\" 
+.\" You should have received a copy of the GNU General Public License with
+.\" your Debian GNU/Linux system, in /usr/share/common-licenses/GPL, If not,
+.\" write to the Free Software Foundation, Inc., 51 Franklin St, Fifth
+.\" Floor, Boston, MA  02110-1301  USA.
+.\"
+.TH "GNATPP" 1 "June 2006" "GNU Ada Tools" "ASIS Tools"
+.SH NAME
+\fBgnatpp\fR \- Ada pretty-printer
+.SH SYNOPSIS
+\fBgnatpp\fR [options] {\fIfilename\fR | \fB-files\fR \fIfilename\fR} [\fIgcc_switches\fR]
+.SH DESCRIPTION
+\fBgnatpp\fR recreates the source text of the specified Ada units from
+GNAT's parse tree.  Along the way, it reformats the source text
+according to the many options.  The defaults are suitable for the GNAT
+style guide.
+.PP
+.SH OPTIONS
+.IP \fB-A\fR(0|1|2|3|4|5)
+set alignment, all the alignments are set ON by default
+.RS
+.IP 0
+set the default for all the alignments OFF
+.IP 1
+align colons in declarations
+.IP 2
+align assignments in declarations
+.IP 3
+align assignments in assignment statements
+.IP 4
+align arrow delimiters in associations
+.IP 5
+align 'AT' keywords in component clauses
+.RE
+.IP \fB-a\fR(L|U|M)
+set attribute casing
+.RS
+.IP L
+lower case
+.IP U
+upper case
+.IP M
+mixed case (set as default)
+.RE
+.IP \fB-c\fR(0|1|2|3|4)
+comments layout
+.RS
+.IP 0
+do not format comments
+.IP 1
+GNAT style comment line indentation (set as default)
+.IP 2
+standard comment line indentation
+.IP 3
+GNAT style comment beginning
+.IP 4
+reformat comment blocks
+.RE
+.IP \fB-cl\fR\fInnn\fR
+indentation level for continuation lines, \fInnn\fR from 1 .. 9
+.IP \fB-D\fR\fIfile\fR
+set \fIfile\fR as the dictionary file defining casing exceptions
+.IP \fB-D-\fR
+do not use RM95-defined casing for predefined names, use casing
+defined by \fB-n\fR parameter and dictionary file(s) instead
+.IP \fB-e\fR
+do not set missed end/exit labels
+.IP \fB-ff\fR
+put Form Feed after a pragma Page
+.IP \fB-gnatec\fR\fIpath\fR
+the same as GNAT -gnatec option
+.IP \fB-i\fR\fInnn\fR
+indentation level, \fInnn\fR from 1 .. 9, the default value is 3
+.IP \fB-I\fR\fRdir\fR
+the same as GNAT -I option
+.IP \fB-I-\fR
+the same as GNAT -I- option
+.IP \fB-k\fR(L|U)
+set keyword casing
+.RS
+.IP L
+lower case (set as default)
+.IP U
+upper case
+.RE
+.IP \fB-l\fR(1|2|3)
+set construct layout
+.RS
+.IP 1
+GNAT style layout (set as default)
+.IP 2
+compact layout
+.IP 3
+uncompact layout
+.RE
+.IP \fB-M\fR\fInnn\fR
+set maximum line length, \fInnn\fR from 32 .. 256, the default value
+is 79
+.IP \fB-n\fR(D|U|L|M)
+set name casing (for both defining and usage occurrences)
+.RS
+.IP D
+as declared (set as default)
+.IP U
+all in upper case
+.IP L
+all in lower case
+.IP M
+mixed
+.RE
+.IP \fB-N\fR
+no tabulation in comments
+.IP \fB-p\fR(L|U|M)
+.RS
+.IP L
+lower case
+.IP U
+upper case
+.IP M
+mixed case (set as default)
+.RE
+.IP \fB--RTS=\fR\fIdir\fR
+the same as GNAT --RTS option
+.IP \fB-T\fR\fInnn\fR
+do not use additional indentation level for case alternatives and
+variants if their number is \fInnn\fR or more (the default value is
+10)
+.IP \fB-q\fR
+quiet mode
+.IP \fB-v\fR
+verbose mode
+.IP \fB-dd\fR
+progress indicator verbose mode
+.IP \fB-w\fR
+warnings ON
+.SS Output file control
+.IP \fB-pipe\fR
+send the output into stdout
+.IP "\fB-o\fR \fIoutput_file\fR"
+write the output into output_file. Give up if \fIoutput_file\fR
+already exists
+.IP "\fB-of\fR \fIoutput_file\fR"
+write the output into output_file, overriding the existing file
+.IP \fB-r\fR
+replace the argument source with the pretty-printed source and copy
+the argument source into \fIfilename.npp\fR. Give up if
+\fIfilename.npp\fR already exists.
+.IP \fB-rf\fR
+replace the argument source with the pretty-printed source and copy
+the argument source into \fIfilename.npp\fR, overriding the existing
+file
+.IP \fB-rnb\fR
+replace the argument source with the pretty-printed source and do not
+create the back-up copy of the argument source
+.SS Input files
+.IP \fIfilename\fR
+the name of the Ada source file to be reformatted.  Wildcards are
+allowed.
+.IP "\fB-files\fR \fIfilename\fR"
+the name of the text file containing a list of Ada source files to
+reformat
+.SS GCC switches
+.IP \fIgcc_switches\fR
+Passed to gnatgcc as "\fB-cargs\fR \fIgcc_switches\fR".
+.SH AUTHOR
+.PP
+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 the Swiss Academy of Engineering
+Sciences.  ASIS-for-GNAT is now maintained by AdaCore
+(http://www.adacore.com).
+.PP
+This manual page was written by Ludovic Brenta
+<ludovic@ludovic-brenta.org> for the Debian project, from the gnatpp
+sources.
+.SH COPYRIGHT
+Copyright (c) 1995-2006, Free Software Foundation, Inc.
+.SH SEE ALSO
+.TP
+asistant(1), gnat(1), gnatcheck(1), gnatelim(1), gnatmetric(1),
+gnatstub(1)
+.TP
+\fI/usr/share/doc/asis-programs/README.gnatpp\fR
+.TP
+\fBinfo asis_ug\fR ASIS-for-GNAT User's Guide, provided by by package
+\fBlibasis-doc\fR in the Info system, and in text, PDF and HTML
+formats in \fI/usr/share/doc/libasis-doc\fR.  (\fBasis-doc\fR is in
+the non-free section of Debian).
+.TP
+\fBinfo asis_rm\fR ASIS-for-GNAT Reference Manual, same package.
--- asis-2010.orig/debian/gnatmetric.1
+++ asis-2010/debian/gnatmetric.1
@@ -0,0 +1,137 @@
+.\" Hey, Emacs!  This is an -*- nroff -*- source file.
+.\"
+.\" Copyright (C) 2006 Ludovic Brenta <ludovic@ludovic-brenta.org>
+.\"
+.\" This is free software; you can redistribute it and/or modify it under
+.\" the terms of the GNU General Public License as published by the Free
+.\" Software Foundation; either version 2, or (at your option) any later
+.\" version.
+.\" 
+.\" This is distributed in the hope that it will be useful, but WITHOUT
+.\" ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
+.\" FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
+.\" for more details.
+.\" 
+.\" You should have received a copy of the GNU General Public License with
+.\" your Debian GNU/Linux system, in /usr/share/common-licenses/GPL, If not,
+.\" write to the Free Software Foundation, Inc., 51 Franklin St, Fifth
+.\" Floor, Boston, MA  02110-1301  USA.
+.\"
+.TH "GNATMETRIC" 1 "June 2006" "GNU Ada Tools" "ASIS Tools"
+.SH NAME
+\fBgnatmetric\fR \- Ada metrics tool
+.SH SYNOPSIS
+\fBgnatmetric\fR [\fIoptions\fR] {\fIfilename\fR | \fB-files\fR \fIfilename\fR} [\fIgcc_switches\fR]
+.SH DESCRIPTION
+\fBgnatmetric\fR takes a set of compilable Ada sources as input,
+computes for them various programming metrics and generates the
+output. Argument Ada sources may be provided as command line
+arguments, or you can place the names of the Ada sources to compute
+the metrics for into a textual file and to provide the name of this
+file as the parameter of \fB-files\fR option.
+.SH OPTIONS
+.IP \fB-v\fR
+verbose mode
+.IP \fB-q\fR
+quiet mode
+.IP \fB-dv\fR
+generate debug output
+.IP \fB-dd\fR
+generate string to be used as input for progress indicator
+.IP \fB-nocc\fR
+do not compute the McCabe Cyclomatic Complexity
+.IP \fB-noec\fR
+do not compute the Essential Complexity
+.IP \fB-nonl\fR
+do not compute maximal loop nesting level
+.IP \fB-ne\fR
+do not consider exit statements as gotos when computing Essential Complexity
+.IP \fB-nolocal\fR
+do not compute detailed metrics for local program units
+.SS Line metrics
+When not specified explicitly, all line metrics are set on, otherwise
+only specified metrics are computed:
+.IP \fB-la\fR
+the number of all lines
+.IP \fB-lcode\fR
+the number of code lines
+.IP \fB-lcomm\fR
+the number of comment lines
+.IP \fB-leol\fR
+the number of code lines also containing comments
+.IP \fB-lb\fR
+the number of blank lines
+.SS Element metrics
+When not specified explicitly, all element metrics are set on,
+otherwise only specified metrics are computed:
+.IP \fB-ed\fR
+the total number of declarations
+.IP \fB-es\fR
+the total number of statements
+.IP \fB-eps\fR
+the number of public subprograms in a compilation unit
+.IP \fB-eas\fR
+the number of all the subprograms in a compilation unit
+.IP \fB-ept\fR
+the number of public types in a compilation unit
+.IP \fB-eat\fR
+the number of all the types in a compilation unit
+.IP \fB-enu\fR
+the maximal program unit nesting level
+.IP \fB-ec\fR
+the maximal construct nesting level
+.SS Output file control
+.IP "\fB-d\fR \fIdirname\fR"
+put files with detailed metrics into \fIdirname\fR
+.IP \fB-x\fR
+generate the XML output
+.IP \fB-nt\fR
+do not generate the output in text form, implies '-x'
+.IP "\fB-o\fR \fIfile-suffix\fR"
+the suffix for the file to put the detailed metrics for a source file
+(\fIfile-suffix\fR should begin with a dot)
+.IP "\fB-og\fR \fIfilename\fR"
+the name of the file to put the global metrics info into (if not set,
+this info is sent to Stdout)
+.IP "\fB-ox\fR \fIfilename\fR"
+the name of the file to put the XML output into, implies '-x'
+.IP \fB-sfn\fR
+use short source file name in the output
+.SS Input files
+.IP \fIfilename\fR
+the name of the Ada source file for which metrics should be
+computed. Wildcards are allowed.
+.IP "\fB-files\fR \fIfilename\fR"
+the name of the text file containing a list of Ada source files for
+which metrics should be computed.
+.SS GCC switches
+.IP \fIgcc_switches\fR
+Passed to gnatgcc as "\fB-cargs\fR \fIgcc_switches\fR".
+.SH AUTHOR
+.PP
+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 the Swiss Academy of Engineering
+Sciences.  ASIS-for-GNAT is now maintained by AdaCore
+(http://www.adacore.com).
+.PP
+This manual page was written by Ludovic Brenta
+<ludovic@ludovic-brenta.org> for the Debian project, from the
+gnatmetric sources.
+.SH COPYRIGHT
+Copyright (c) 1995-2006, Free Software Foundation, Inc.
+.SH SEE ALSO
+.TP
+asistant(1), gnat(1), gnatcheck(1), gnatelim(1), gnatpp(1), gnatstub(1)
+.TP
+\fI/usr/share/doc/asis-programs/README.gnatmetric\fR
+.TP
+\fBinfo asis_ug\fR ASIS-for-GNAT User's Guide, provided by by package
+\fBlibasis-doc\fR in the Info system, and in text, PDF and HTML
+formats in \fI/usr/share/doc/libasis-doc\fR.  (\fBasis-doc\fR is in
+the non-free section of Debian).
+.TP
+\fBinfo asis_rm\fR ASIS-for-GNAT Reference Manual, same package.
--- asis-2010.orig/debian/gnatcheck.1
+++ asis-2010/debian/gnatcheck.1
@@ -0,0 +1,122 @@
+.\" Hey, Emacs!  This is an -*- nroff -*- source file.
+.\"
+.\" Copyright (C) 2004-2007 AdaCore
+.\" Copyright (C) 2008 Ludovic Brenta <ludovic@ludovic-brenta.org>
+.\"
+.\" This is free software; you can redistribute it and/or modify it under
+.\" the terms of the GNU General Public License as published by the Free
+.\" Software Foundation; either version 2, or (at your option) any later
+.\" version.
+.\" 
+.\" This is distributed in the hope that it will be useful, but WITHOUT
+.\" ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
+.\" FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
+.\" for more details.
+.\" 
+.\" You should have received a copy of the GNU General Public License with
+.\" your Debian GNU/Linux system, in /usr/share/common-licenses/GPL, or with the
+.\" dpkg source package as the file COPYING.  If not, write to the Free
+.\" Software Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
+.\"
+.TH "GNATCHECK" 1 "March 2008" "GNU Ada Tools" "ASIS Tools"
+.SH NAME
+gnatcheck \- The GNAT rule checking tool
+.SH SYNOPSIS
+\fBgnatcheck\fR [\fIOPTION\fR]... \fIfilename\fR [\fB-cargs\fR \fIgcc_switches\fR] [\fB-rules\fR \fIrule_switches\fR]
+.PP
+\fBgnatcheck\fR [\fIOPTION\fR]... -files=\fIfilename\fR [\fB-cargs\fR \fIgcc_switches\fR] [\fB-rules\fR \fIrule_switches\fR]
+.SH DESCRIPTION
+.PP
+\fBgnatcheck\fR checks the conformance of Ada source text with rules
+and produces a report file for later analysis as well as on standard
+output.
+.PP
+In the first form, \fBgnatcheck\fR examines the specified Ada source
+files (wildcards are allowed).
+.PP
+In the second form, \fBgnatcheck\fR examines the Ada source files
+listed in the specified file.
+.PP
+\fBgnatcheck\fR is an ASIS application developed on top of the ASIS
+implementation for GNAT.  As such, it reads tree files (\fI*.adt\fR)
+produced by the compiler to accomplish its goals, and invokes
+\fBgnatgcc\fR for this.
+.SH OPTIONS
+.TP
+\fB-a\fR
+Process RTL units.
+.TP
+\fB-cargs\fR \fIgcc_switches\fR
+Pass \fIgcc_switches\fR to GCC when producing the tree files.
+.TP
+\fB-d\fR
+Debug mode.
+.TP
+\fB-dd\fR
+Progress indicator mode, for use in the GNAT Programming Studio.
+.TP
+\fB-h\fR
+Print the list of built-in rules.
+.TP
+\fB-l\fR
+Full source location chains in report file.
+.TP
+\fB-q\fR
+Quiet mode: do not report detections on standard output.
+.TP
+\fB-rules\fR \fIrule_switches\fR
+\fIrule_switches\fR can be any combination of the following:
+.RS
+.TP
+\fB-from\fR=\fIfile\fR
+Read rule options from \fIfile\fR
+.TP
+\fB+ALL\fR
+Turn all rules on.
+.TP
+\fB-ALL\fR
+Turn all rules off.
+.TP
+\fB+R\fR\fIrule_id\fR[:\fIparam\fR[,\fIparam\fR...]]
+Turn the specified rule on, passing it optional parameters.
+.TP
+\fB-R\fR\fIrule_id\fR
+Turn the specified rule off.
+.TP
+\fB+R\fR\fIrule_id\fR[:\fIparam\fR[,\fIparam\fR...]]
+Turn off some of the checks for the specified rule.
+.P
+\fIrule_id\fR is any of the rules listed with the \fB-h\fR option.
+.RE
+.TP
+\fB-s\fR
+Short form of the report file.
+.TP
+\fB-s\fR\fIn\fR
+Include only section \fIn\fR (\fIn\fR in 1 .. 3) in the report file.
+.TP
+\fB-v\fR
+Verbose mode.
+.TP
+.SH AUTHOR
+.PP
+\fBgnatcheck\fR was written by AdaCore (http://www.adacore.com).
+.PP
+This manual page was written by Ludovic Brenta
+<ludovic@ludovic-brenta.org> for the Debian project, from information
+in the sources of gnatcheck.
+.SH COPYRIGHT
+\fBgnatcheck\fR is Copyright (c) 2004-2007 AdaCore
+.PP
+This manual page is Copyright (C) 2008 Ludovic Brenta
+<ludovic@ludovic-brenta.org>.
+.SH SEE ALSO
+.PP
+asistant(1), gnat(1), gnatelim(1), gnatmetric(1), gnatpp(1)
+.PP
+The full documentation for \fBgnatcheck\fR in
+/usr/share/doc/asis-programs/README.gnatcheck.
+.TP
+\fBinfo asis_ug\fR ASIS-for-GNAT User's Guide
+.TP
+\fBinfo asis_rm\fR ASIS-for-GNAT Reference Manual
--- asis-2010.orig/debian/copyright
+++ asis-2010/debian/copyright
@@ -0,0 +1,47 @@
+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  the  Swiss  Academy  of  Engineering
+Sciences.     ASIS-for-GNAT    is     now    maintained    by    AdaCore
+(http://www.adacore.com).
+
+ASIS-for-GNAT is free software; you can redistribute it and/or modify it
+under terms of  the GNU General Public License as  published by the Free
+Software Foundation;  either version  2, or (at  your option)  any later
+version.  ASIS-for-GNAT is  distributed  in  the hope  that  it will  be
+useful, but WITHOUT  ANY WARRANTY; without even the  implied warranty of
+MERCHANTABILITY  or  FITNESS FOR  A  PARTICULAR  PURPOSE.   See the  GNU
+General Public License for more details. You should have received a copy
+of the  GNU General Public  License distributed with  ASIS-for-GNAT; see
+file COPYING. If not, write to the Free Software Foundation, 51 Franklin
+St, Fifth Floor, Boston, MA 02110-1301 USA
+
+Copyright (c) 1995-2005, Free Software Foundation, Inc.
+
+On Debian GNU/Linux systems, the  full terms of the GNU General Public
+License are in /usr/share/common-licenses/GPL.
+
+Maintainer's note:
+
+In contrast to previous versions of ASIS, this version is licensed under
+the pure GPL.  This means  that if you produce binary executables linked
+with ASIS,  and if  you distribute these  binary executables  to anyone,
+then you *must* do  so under the terms of the GPL.   This means that you
+must give  them (your customers) the  sources of your  program, and that
+they  (your customers)  have a  right  to modify  and redistribute  your
+program under the terms of the GPL.
+
+If you do not wish to license  your software under the terms of the GPL,
+then you have three choices:
+
+- do not distribute your software at all (i.e. only  use  it  internally
+  for your own purposes)
+
+- distribute your software in source form only, under licensing terms of
+  your choosing
+
+- contact AdaCore (sales@adacore.com) and acquire a  GNAT  Pro  license,
+  which will allow you to distribute binaries  linked  with  ASIS  under
+  licensing terms of your choosing.
--- asis-2010.orig/debian/changelog
+++ asis-2010/debian/changelog
@@ -0,0 +1,501 @@
+asis (2010-5.4.201403130736) ucs4-0-0-0; urgency=low
+
+  * UCS auto build. No patches were applied to the original source package
+
+ -- Univention builddaemon <buildd@univention.de>  Thu, 13 Mar 2014 07:36:22 +0100
+
+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 the way we build the tools;
+    each tool contains a different copy of some units, so the project file
+    must reference only the source directory of the tool being built.
+    Closes: #676338.
+  * debian/control: do not reference ada-compiler anymore, per
+    https://lists.debian.org/debian-ada/2011/12/msg00012.html.
+    (Standards-Version): bump to 3.9.3 with no changes required.
+  * debian/rules: generate Lintian overrides for all packages for warnings
+    hardening-no-relro and hardening-no-fortify-functions, which do not
+    apply to Ada.
+
+ -- Ludovic Brenta <lbrenta@debian.org>  Sun, 10 Jun 2012 21:49:21 +0200
+
+asis (2010-3) unstable; urgency=low
+
+  * debian/install_asis.gpr: work around compiler bug #642980 by
+    compiling asis-text.adb without optimization.  Fixes FTBFS on
+    kfreebsd-amd64, mips and mipsel.
+
+ -- Ludovic Brenta <lbrenta@debian.org>  Sat,  1 Oct 2011 19:20:55 +0200
+
+asis (2010-2) unstable; urgency=low
+
+  * debian/rules (binary-arch, binary-indep): apply patches before
+    building.  Fixes FTBFS when building with dpkg-buildpackage -b.
+
+ -- Ludovic Brenta <lbrenta@debian.org>  Wed,  7 Sep 2011 01:19:06 +0200
+
+asis (2010-1) unstable; urgency=low
+
+  [Xavier Grave]
+  * New upstream version 2010 GPL
+  * Migrate to gnat-4.6.
+  * Add get-orig-source in debian/rules
+  * Package renamings pursuant to the Debian Policy for Ada:
+    libasis2008-dev  -> libasis2010-dev
+    libasis2008      -> libasis2010
+    libasis2008-dbg  -> libasis2010-dbg
+
+  [Ludovic Brenta]
+  * debian/control (Architectures): any.
+    (Uploaders): add Xavier Grave.
+    (DM-Upload-Allowed): yes.
+    (Build-Depends-Indep): new.
+    (Standards-Version): bump to 3.9.2 with no changes required.
+    (libasis2010): Multiarch: same.
+  * debian/compat: bump from 7 to 8.    
+  * debian/rules (build): split into build-arch and build-indep.
+    (build-indep, clean): build the documentation from source instead of
+    shipping upstream's prebuilt doc (which we exclude from the orig
+    tarball).
+    (libasis2010, libasis2010-dev, libasis2020-dbg): move the shared library
+    to the multiarch-compliant directory.
+    (libasis2010-dev): Move the examples and tutorial to...
+    (asis-doc): ... here.
+  * debian/patches/info.patch: remove.
+  * debian/patches/documentation.patch: new.
+    (documentation/*.texi): clarify that the license of the documentation is
+    GPLv2 or later, like the rest of the sources, as opposed to GFDL.
+    (documentation/*.texi) add stanzas to place the documentation under "GNU
+    Ada Tools" in the top-level info menu.
+    (Makefile): use the system-provided texinfo.tex instead of the one
+    bundled with the sources.
+    (documentation/edition.texi): change to FSFEDITION.
+    (documentation/version.texi): change to 4.6.
+
+ -- Ludovic Brenta <lbrenta@debian.org>  Tue,  6 Sep 2011 10:25:46 +0200
+
+asis (2008-5) unstable; urgency=low
+
+  Comply with Debian Policy for Ada, Fifth Edition:
+  * debian/control (libasis2008-dev):
+    - Suggest the -dbg package.
+    (libasis2008-dev, asis-programs, libasis2008): Depend on
+    ada-compiler in addition to gnat.
+    (libasis2008-dbg, libasis-doc): Suggest ada-compiler and gnat.
+
+ -- Ludovic Brenta <lbrenta@debian.org>  Sat, 29 May 2010 20:56:26 +0200
+
+asis (2008-4) unstable; urgency=low
+
+  * debian/control (libasis2008): depend on gnat (closes: #572359)
+    and gnat-4.4 (closes: #565619).
+    (Architecture): add armel.  Closes: #568435.
+  * debian/rules (asis-doc): install a few additional doc files.
+
+ -- Ludovic Brenta <lbrenta@debian.org>  Thu, 11 Mar 2010 18:37:40 +0100
+
+asis (2008-3) unstable; urgency=low
+
+  * debian/control (Architecture): really disable alpha.
+    (asis-doc): correct the short description.
+
+ -- Ludovic Brenta <lbrenta@debian.org>  Tue, 24 Nov 2009 00:46:47 +0100
+
+asis (2008-2) unstable; urgency=low
+
+  * debian/control (Architecture): temporarily disable alpha due to
+    http://gcc.gnu.org/PR42073.
+
+ -- Ludovic Brenta <lbrenta@debian.org>  Thu, 19 Nov 2009 22:16:58 +0100
+
+asis (2008-1) unstable; urgency=low
+
+  * New upstream version, roughly corresponding to gnat-4.4.
+  * debian/control (libasis-dev): rename to libasis2008-dev, with
+    Conflicts: and Replaces:, per Debian Policy for Ada
+    [http://people.debian.org/~lbrenta/debian-ada-policy.html]
+    (libasis2007.1): rename to libasis2008 with soname bump.
+    (asis-doc): new, supersedes the source package asis-doc.
+    (Build-Depends): Transition to gnat-4.4, libgnatvsn4.4.
+  * debian/patches/gnat-4.3.patch: rename to gnat-4.4.patch and
+    adjust to the new version of the compiler and libgnatvsn.
+  * debian/install_asis.gpr: turn into a proper library project
+    file.
+  * debian/patches/asis-data_decomposition-debug.patch: remove,
+    no longer necessary due to install_asis.gpr being a library
+    project file.
+  * debian/patches/info.patch: new, place info files (from asis-doc)
+    in the proper place.
+  * debian/rules: simplify now that install_asis.gpr is a proper
+    library project file; gnatmake knows about -fPIC, sonames,
+    where to place .ali files and their required permissions.
+    (aliversion): new, set to 2008.
+    (soversion): new, set to 2008.
+    (libasis2008-dev): do not install Display_Source as part of the
+    examples, removed upstream.
+  * debian/README.Debian: remove, outdated.
+  * asis-programs: add gnatsync, new tool to analyze multitasking
+    programs for race conditions.
+  * debian/gnatsync.1: new, from the upstream README file.
+
+ -- Ludovic Brenta <lbrenta@debian.org>  Sat, 14 Nov 2009 16:36:50 +0100
+
+asis (2007-5) unstable; urgency=low
+
+  [Raphael Hertzog]
+  * Move patches directory to debian/patches and adjust build system
+    accordingly in order to be compatible with the new source format 3.0
+    (quilt). Closes: #485099
+
+  [Ludovic Brenta]
+  * debian/compat: bump to 7.
+  * debian/control:
+    - (Build-Depends): increase required version of gnat-4.3 to 4.3.4 and
+      of debhelper to 7.
+    - Bump soname to 2007.1 and change package names.  Closes: #522681.
+    - add support for kfreebsd-amd64.  Closes: #542412.
+    - (Standards-Version): bump to 3.8.3.
+  * debian/patches/asis-data_decomposition-debug.patch: new; also compile
+    Asis.Data_Decomposition.Debug into the libraries.
+  * debian/rules, debian/install_asis.gpr, debian/tools.gpr: do not delete
+    files during build; instead, place object files in different directories
+    for static library, shared library and tools.  This makes builds
+    restartable.
+  * debian/rules, debian/install_asis.gpr, debian/control: Introduce a
+    new package containing debugging symbols for the shared library.
+
+ -- Ludovic Brenta <lbrenta@debian.org>  Sat,  5 Sep 2009 16:41:55 +0200
+
+asis (2007-4) unstable; urgency=low
+
+  * debian/install_asis.gpr: adjust to the fact that gnatvsn.gpr is now
+    a proper library project file.  Closes: #497673.
+  * debian/control:
+    - tighten build-dependency on gnat-4.3 accordingly.
+    - Use ${binary:Version} instead of ${Source-Version}.
+  * debian/compat: new.
+  * debian/rules (DH_COMPAT): remove.
+
+ -- Ludovic Brenta <lbrenta@debian.org>  Wed,  3 Sep 2008 18:39:24 +0200
+
+asis (2007-3) unstable; urgency=low
+
+  * patches/gnatgcc.patch: patch other hardcoded "gcc" strings.
+    Closes: #491228.
+  * debian/control (asis-programs): Depend on gnat (providing gnatgcc)
+    in addition to gnat-4.3.
+
+ -- Ludovic Brenta <lbrenta@debian.org>  Thu, 17 Jul 2008 23:25:05 +0200
+
+asis (2007-2) unstable; urgency=low
+
+  * Add support for ppc64.
+
+ -- Ludovic Brenta <lbrenta@debian.org>  Sun, 27 Apr 2008 14:57:51 +0200
+
+asis (2007-1) unstable; urgency=low
+
+  * New upstream version.  Closes: #445764, #445769.
+  * patches/gcc-4.3.patch: new; compile with GCC 4.3.  Closes: #472529.
+  * Build gnatcheck, new tool from upstream.  Closes: #425626.
+  * debian/gnatcheck.1: new.
+  * Do not build display_source, removed upstream.
+  * debian/display_source.1: remove.
+  * Compile the library with all optional run-time checks enabled.
+  * Change asis.gpr into a proper library project file using new features
+    of the project manager.
+
+ -- Ludovic Brenta <lbrenta@debian.org>  Sat, 19 Apr 2008 01:15:14 +0200
+
+asis (2005-5) unstable; urgency=low
+
+  * debian/control: add support for alpha and s390.
+
+ -- Ludovic Brenta <lbrenta@debian.org>  Tue,  8 Aug 2006 23:02:17 +0200
+
+asis (2005-4) unstable; urgency=low
+
+  * debian/rules: remove bashisms.  Closes: #378437.
+
+ -- Ludovic Brenta <lbrenta@debian.org>  Sun, 16 Jul 2006 14:37:10 +0200
+
+asis (2005-3) unstable; urgency=low
+
+  * Rebuild against the real .orig.tar.gz.
+
+ -- Ludovic Brenta <lbrenta@debian.org>  Fri, 14 Jul 2006 20:39:32 +0200
+
+asis (2005-2) unstable; urgency=low
+
+  * debian/control: disable alpha, mips, mipsel and s390, because
+    libgnatvsn-dev is disabled on those architectures.
+
+ -- Ludovic Brenta <lbrenta@debian.org>  Thu, 13 Jul 2006 19:04:25 +0200
+
+asis (2005-1) unstable; urgency=low
+
+  * New upstream version.  Do not provide the GNAT sources, bundled by
+    upstream, since we build against libgnatvsn.  Do not provide
+    documentation anymore; it is non-free.  We still provide the
+    tutorial, examples and some explanation files.
+  * debian/tools.gpr, debian/rules: do not build display_source anymore,
+    it FTBFS due to the support for Ada 2005, for which it has not been
+    updated.  Build gnatcheck, which is new in this version of
+    ASIS-for-GNAT.
+  * debian/copyright: change to the pure GPL, per upstream.  Explain.
+  * debian/control:
+    - Change my email address: now a full DD!
+    - Build-depend on gnat and libgnatvsn-dev (>= 4.1).
+    - (libasis-3.15p-1-dev): rename to libasis-dev.
+    - (libasis-3.15p-1): rename to libasis2006.
+    - Update Standards-Version to 3.7.2 with no changes.
+    - Add alpha, amd64, hppa, ia64, mips, mipsel and s390 to Architecture.
+    - Build-Depend on quilt, which we now use to manage patches.
+    - (asis-programs): depend on gnat-4.1.
+  * debian/install_asis.gpr: build without -gnata and -gnatVa, because
+    libgnatvsn4.1 is also built without these checks.
+  * debian/00-docs.patch: remove.
+  * debian/01-gnatgcc.patch: update and move to patches/gnatgcc.patch.
+  * debian/asistant.1, debian/display_source.1,
+    debian/gnatmetric.1, debian/gnatpp.1: new.
+  * patches/gcc-4.1.patch: new, but disabled; only applies to ASIS 2006.
+  * patches/series: new.
+
+ -- Ludovic Brenta <lbrenta@debian.org>  Wed,  5 Jul 2006 08:41:06 +0200
+
+asis (3.15p-10) unstable; urgency=low
+
+  * debian/rules, debian/control: add support for GNU/kFreeBSD.  Thanks,
+    Aurélien Jarno.  Build-Depend on gnat 3.15p-19, the first version to
+    support GNU/kFreeBSD.  Closes: #345195.
+
+ -- Ludovic Brenta <ludovic@ludovic-brenta.org>  Tue,  7 Feb 2006 18:40:23 +0100
+
+asis (3.15p-9) unstable; urgency=low
+
+  * debian/rules (display_source, asistant, gnatelim, gnatstub): link with
+    libgnatvsn, not libgnatprj.  Closes: #344201.
+
+ -- Ludovic Brenta <ludovic@ludovic-brenta.org>  Wed, 21 Dec 2005 11:38:20 +0100
+
+asis (3.15p-8) unstable; urgency=low
+
+  * debian/control (libasis-3.15p-dev): depend on libgnatvsn-dev, not
+    libgnatprj-dev due to the license.  Build-depend on gnat >= 3.15p-17.
+  * debian/asis.gpr: import gnatvsn.gpr instead of gnatprj.gpr.
+  * debian/rules (obj/libasis.so): link against libgnatvsn, not libgnatprj.
+
+ -- Ludovic Brenta <ludovic@ludovic-brenta.org>  Sat, 10 Dec 2005 18:19:06 +0100
+
+asis (3.15p-7) unstable; urgency=low
+
+  * debian/control (libasis-3.15p-1-dev): depend on libgnatprj-dev,
+    which provides the files from GNAT that are required for any ASIS
+    application.
+  * debian/asis.gpr: import gnatprj.gpr, for the same reason.
+  * debian/rules (libasis-3.15p-1-dev): do not provide GNAT files in
+    /usr/share/ada/adainclude/asis anymore, they are now provided by
+    libgnatprj-dev. (was already done in -6, but not documented).
+  * debian/rules (CPUS): detect how many CPUs we have and do a parallel build.
+
+ -- Ludovic Brenta <ludovic@ludovic-brenta.org>  Thu, 13 Oct 2005 19:15:59 +0200
+
+asis (3.15p-6) unstable; urgency=low
+
+  * debian/control: update standards-version to 3.6.2.  Build-depend on
+    the new library libgnatprj-dev (>= 3.15p-14)
+  * debian/rules, debian/tools.gpr, debian/install_asis.gpr: new; use
+    project files to build the libraries and tools; link them against
+    libgnatprj.so.  Do not build the source files under gnat/ anymore.
+  * asis was broken by the change in gnat_3.15p-13's gnatvsn.ads (version
+    string).  Now, gnatvsn.ads is in libgnatprj and asis is repaired.
+  * debian/rules: do not use dpkg --print-gnu-build-architecture, obsolete.
+  * debian/117703.patch: remove, folded into debian/tools.gpr.
+
+ -- Ludovic Brenta <ludovic@ludovic-brenta.org>  Tue, 27 Sep 2005 22:13:27 +0200
+
+asis (3.15p-5) unstable; urgency=low
+
+  * debian/117703.patch: new patch from Xavier Grave to allow building on
+    powerpc.  Closes: #117703.
+  * debian/libasis-3.15p-1-dev.postinst: remove.
+  * debian/control: update standards-version to 3.6.1.1.
+  * debian/rules (patch, unpatch): new rules to patch and unpatch.
+  * debian/rules (binary-arch): do not strip the static library.
+  * debian/control: change maintainer's email address.
+
+ -- Ludovic Brenta <ludovic@ludovic-brenta.org>  Thu, 25 Aug 2005 23:09:23 +0200
+
+asis (3.15p-4) unstable; urgency=low
+
+  * Provide the *.ad[bs] files for parts of GNAT which are required when
+    building ASIS applications.
+  * Do not compress the *.ad[bs] and *.ali files from the examples.
+  * Do not install *.{ali,o} from the examples directory.
+  * Compile with additional flags -gnato -gnatn -gnatVa.
+  * Provide a GNAT project file, /usr/share/ada/adainclude/asis.gpr.
+
+ -- Ludovic Brenta <ludovic.brenta@insalien.org>  Fri, 19 Dec 2003 02:29:58 +0100
+
+asis (3.15p-3) unstable; urgency=low
+
+  * Add build dependency on debhelper.
+
+ -- Matthias Klose <doko@debian.org>  Thu, 13 Nov 2003 19:46:03 +0100
+
+asis (3.15p-2) unstable; urgency=low
+
+  * asis-programs: provide display_source.
+  * libasis-3.15p-1-dev: recompile the static library without -fPIC.
+  * Place asis-programs in section "devel".
+  * Place libasis-3.15p-1-dev in section "libdevel".
+  * Place libasis-3.15p-1 in section "libs".
+
+ -- Ludovic Brenta <ludovic.brenta@insalien.org>  Fri, 19 Aug 2003 15:22:16 +0200
+
+asis (3.15p-1) unstable; urgency=low
+
+  * New maintainer.  Closes: #154095.
+  * New upstream version.
+  * Use debhelper, not yada.
+  * Place *.ad[bs] in /usr/share/ada/adainclude/asis.
+  * Place *.ali in /usr/lib/ada/adalib/asis.
+  * Provide an unstripped static library in -dev.
+
+ -- Ludovic Brenta <ludovic.brenta@insalien.org>  Thu, 14 Aug 2003 20:48:02 +0200
+
+asis (3.14p-4.2) unstable; urgency=low
+
+  * QA upload number two. I hate yada.
+  * Really change maintainer to Debian QA Group.
+
+ -- Colin Watson <cjwatson@debian.org>  Sun, 18 May 2003 15:07:34 +0100
+
+asis (3.14p-4.1) unstable; urgency=low
+
+  * Package is orphaned (#154095); set maintainer to Debian QA Group.
+
+ -- Colin Watson <cjwatson@debian.org>  Sun, 18 May 2003 13:04:54 +0100
+
+asis (3.14p-4) unstable; urgency=low
+
+  * Authorized NMU.
+  * Recompile with latest GNAT runtime.
+
+ -- Thomas Quinot <thomas@debian.org>  Sun,  3 Mar 2002 19:55:58 +0100
+
+asis (3.14p-3) unstable; urgency=low
+
+  * Fix various building bugs.
+
+ -- Samuel Tardieu <sam@debian.org>  Sun,  3 Feb 2002 00:54:58 +0100
+
+asis (3.14p-2) unstable; urgency=low
+
+  * Rebuild with GNAT 3.14p-2, which corrected shlib.
+
+ -- Samuel Tardieu <sam@debian.org>  Sat,  2 Feb 2002 23:59:38 +0100
+
+asis (3.14p-1) unstable; urgency=low
+
+  * New upstream version.
+
+ -- Samuel Tardieu <sam@debian.org>  Sat,  2 Feb 2002 22:12:01 +0100
+
+asis (3.13p-3) unstable; urgency=low
+
+  * Use the latest yada to compile.
+
+ -- Samuel Tardieu <sam@debian.org>  Wed, 31 Jan 2001 12:37:41 +0100
+
+asis (3.13p-2) unstable; urgency=low
+
+  * Add Build-Depends line. Closes: #70156.
+
+ -- Samuel Tardieu <sam@debian.org>  Wed, 30 Aug 2000 12:31:48 +0200
+
+asis (3.13p-1) unstable; urgency=low
+
+  * New upstream release.
+
+ -- Samuel Tardieu <sam@debian.org>  Thu,  3 Aug 2000 14:41:54 +0200
+
+asis (3.12p-4) unstable; urgency=low
+
+  * Use the right filename. Closes: #64742.
+
+ -- Samuel Tardieu <sam@debian.org>  Mon, 29 May 2000 13:36:02 +0200
+
+asis (3.12p-3) unstable; urgency=low
+
+  * Major reorganization:
+     - "asis" is now called "libasis-3.12p-1-dev"
+     - "asis-runtime" is now called "libasis-3.12p-1"
+    This is consistent with what is done for the GNU Ada compiler (gnat).
+  * Use standard version 3.1.0.
+
+ -- Samuel Tardieu <sam@debian.org>  Mon,  8 Nov 1999 15:16:05 +0100
+
+asis (3.12p-2) unstable; urgency=low
+
+  * Also install files from gnat/*.ad[bs]. Closes: #49180.
+
+ -- Samuel Tardieu <sam@debian.org>  Fri,  5 Nov 1999 10:16:41 +0100
+
+asis (3.12p-1) unstable; urgency=low
+
+  * New upstream version.
+  * Use standard version 3.0.1.
+  * Use yada to build package.
+
+ -- Samuel Tardieu <sam@debian.org>  Wed, 27 Oct 1999 15:08:03 +0200
+
+asis (3.11p-6) unstable; urgency=low
+
+  * Recompiled with GNAT 3.11p-16 to get the dependencies right.
+
+ -- Samuel Tardieu <sam@debian.org>  Fri, 10 Sep 1999 11:30:58 +0200
+
+asis (3.11p-5) unstable; urgency=low
+
+  * Recompiled with GNAT 3.11p-9 to get the dependencies right.
+
+ -- Samuel Tardieu <sam@debian.org>  Tue, 23 Feb 1999 20:17:21 +0100
+
+asis (3.11p-4) unstable; urgency=low
+
+  * Upgrade so that the right libraries are used (from gnat-3.11p-6).
+
+ -- Samuel Tardieu <sam@debian.org>  Tue,  9 Feb 1999 21:57:56 +0100
+
+asis (3.11p-3) unstable; urgency=low
+
+  * Change compiler name from "gcc" to "gnatgcc" in order to call the right
+    one.
+
+ -- Samuel Tardieu <sam@debian.org>  Mon,  8 Feb 1999 11:13:14 +0100
+
+asis (3.11p-2) unstable; urgency=low
+
+  * Exclude usr/lib/asis from dh_strip list since otherwise the Sparc port
+    is broken.
+
+ -- Samuel Tardieu <sam@debian.org>  Thu,  4 Feb 1999 10:30:12 +0100
+
+asis (3.11p-1) unstable; urgency=low
+
+  * Initial Release.
+
+ -- Samuel Tardieu <sam@debian.org>  Tue,  2 Feb 1999 15:15:51 +0100
+
+Local variables:
+left-margin: 2
+End:
--- asis-2010.orig/debian/compat
+++ asis-2010/debian/compat
@@ -0,0 +1 @@
+8
--- asis-2010.orig/debian/gnatelim.1
+++ asis-2010/debian/gnatelim.1
@@ -0,0 +1,105 @@
+.\" Hey, Emacs!  This is an -*- nroff -*- source file.
+.\"
+.\" Copyright (C) 1996 Erick Branderhorst <branderh@debian.org>
+.\"
+.\" This is free software; you can redistribute it and/or modify it under
+.\" the terms of the GNU General Public License as published by the Free
+.\" Software Foundation; either version 2, or (at your option) any later
+.\" version.
+.\" 
+.\" This is distributed in the hope that it will be useful, but WITHOUT
+.\" ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
+.\" FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
+.\" for more details.
+.\" 
+.\" You should have received a copy of the GNU General Public License with
+.\" your Debian GNU/Linux system, in /usr/share/common-licenses/GPL, or with the
+.\" dpkg source package as the file COPYING.  If not, write to the Free
+.\" Software Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
+.\"
+.TH "GNATELIM" 1 "January 2002" "GNU Ada Tools" "ASIS Tools"
+.SH NAME
+\fBgnatelim\fR \- eliminate dead code from Ada programs
+.SH SYNOPSIS
+\fBgnatelim\fR [\fIOPTION\fR]... \fIname\fR
+.SH DESCRIPTION
+.PP
+When you are working with a program which shares some set of Ada packages
+with other programs, it may happen, that your program uses only a part of
+subprogram defined in these packages, whereas the code created for unused
+subprograms increases the size of the executable your program.
+.PP
+\fBgnatelim\fR is a utility tracking unused subprograms in an Ada
+program. Its output consists of a list of Eliminate pragmas marking
+all the subprograms that are declared, but never called in a given
+program. Eliminate is a GNAT-specific pragma. By ecompiling your
+program with these pragmas, you may decrease the size of its
+executable, because the compiler will not create the code for unused
+subprograms.
+.PP
+\fBgnatelim\fR is an ASIS application developed on top of the ASIS
+implementation for GNAT. It needs a set of tree files representing a
+program to analyze and the bind file for its main subprogram to be
+created in the current directory. For the current version, it is a the
+user's responsibility to maintain the consistency of the set of tree
+files processed by \fBgnatelim\fR, if the user also changes the
+sources of the Ada program to be processed.
+.PP
+To produce a list of Eliminate pragmas, \fBgnatelim\fR has to do an
+extensive analysis and it may take some time. For example, to process
+itself, \fBgnatelim\fR takes 4 minutes of CPU time on a Pentium 200.
+.SH OPTIONS
+.TP
+\fB-v\fR
+verbose mode: \fBgnatelim\fR version information is printed (in the form of
+Ada comments) in stdout; the names of the files being processed are
+printed to standard-error.
+.TP
+\fB-vf\fR
+Same as -v, but in addition various debugging information and
+information reflecting some details of the analysis done by
+\fBgnatelim\fR are printed to standard-error.
+.TP
+\fB-a\fR
+Process RTL components: by default, \fBgnatelim\fR does not analyze
+the units which are the components of the GNAT Run-Time Library (RTL),
+and it does not generate Eliminate pragmas for subprograms declared in
+the RTL.  If '-a' option is set, RTL components are also analyzed
+(except some units, which contains subprograms implicitly called by
+the compiler).
+.TP
+\fB-m\fR
+Check missed units: if this option is set, \fBgnatelim\fR checks that
+all the units which (according to the bind file) has to be analyzed by
+\fBgnatelim\fR are really represented by the set of tree files
+processed by \fBgnatelim\fR (depending on whether or not '-a' option
+is set). By default (that is, if '-m' option is not set),
+\fBgnatelim\fR analyzes a set of units represented by a given set of
+tree files "as is" (excluding library packages which require bodies,
+but for which bodies are not available).
+
+.SH AUTHOR
+.PP
+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  the  Swiss  Academy  of  Engineering
+Sciences.  ASIS-for-GNAT is now maintained by  Ada Core Technologies Inc
+(http://www.gnat.com).
+.PP
+This manual page was written by Ludovic Brenta
+<ludovic@ludovic-brenta.org> for the Debian project.
+.SH COPYRIGHT
+Copyright (c) 1995-1997, Free Software Foundation, Inc.
+.SH SEE ALSO
+.PP
+asistant(1), gnat(1), gnatcheck(1), gnatmetric(1), gnatpp(1), gnatstub(1)
+.PP
+The full documentation for \fBgnatelim\fR in
+/usr/share/doc/asis-programs/README.gnatelim
+.TP
+\fBinfo asis_ug\fR ASIS-for-GNAT User's Guide
+.TP
+\fBinfo asis_rm\fR ASIS-for-GNAT Reference Manual
--- asis-2010.orig/debian/rules
+++ asis-2010/debian/rules
@@ -0,0 +1,182 @@
+#! /usr/bin/make -rf
+# Debian build script for asis - Copyright (c) 2003-2009 Ludovic Brenta
+
+# This build script is free software; you can redistribute it and/or
+# modify it under terms of the GNU General Public License as published
+# by the Free Software Foundation; either version 2, or (at your
+# option) any later version. This build script is distributed in the
+# hope that it will be useful, but WITHOUT ANY WARRANTY; without even
+# the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR
+# PURPOSE.  See the GNU General Public License for more details. You
+# should have received a copy of the GNU General Public License
+# distributed with this build script; see file
+# /usr/share/common-licenses/GPL. If not, write to the Free Software
+# Foundation, 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA
+
+# Uncomment this to turn on verbose mode. 
+#export DH_VERBOSE=1
+
+# This has to be exported to make some magic below work.
+export DH_OPTIONS
+
+aliversion := 2010
+soversion := 2010
+
+DEB_HOST_MULTIARCH ?= $(shell dpkg-architecture -qDEB_HOST_MULTIARCH)
+ARCH = $(shell dpkg-architecture -qDEB_HOST_ARCH_CPU)
+OS = $(shell dpkg-architecture -qDEB_HOST_GNU_TYPE)
+
+N_ASIS_UL_TOOLS := asistant gnatcheck gnatelim gnatstub
+ASIS_UL_TOOLS := gnatmetric gnatpp gnatsync
+TOOLS := $(N_ASIS_UL_TOOLS) $(ASIS_UL_TOOLS)
+LIBASIS := libasis.so.$(soversion)
+CPUS := $(shell getconf _NPROCESSORS_ONLN)
+mtnbase := base_debian.db
+mtnversion := af45f0024c1a910bdd57055a7b2a1834380c9aa8
+branch := com.adacore.asis.debian
+orig_dir := asis_$(aliversion).orig
+orig_tgz := asis_$(aliversion).orig.tar.gz
+
+DOC_FORMATS := html info pdf txt
+
+include /usr/share/quilt/quilt.make
+
+clean: unpatch
+	dh_testdir
+	-rm -f *-stamp
+	-rm -rf obj-shared obj-static $(addprefix obj-,$(TOOLS)) $(TOOLS)
+	-rm -f $(addprefix documentation/,*.aux *.cp *.cps *.dvi *.fn *.ky *.log *.pg *.toc *.tp *.vr)
+	-rm -f $(addprefix documentation/*.,$(DOC_FORMATS))
+	-rm -f $(addprefix documentation/,gnatcheck_rm.texi gnatcheck_rules.texi)
+	-rm -f debian/*.lintian-overrides # we generate them below
+	dh_clean
+
+get-orig-source:
+	if [ ! -e ../$(mtnbase) ]; then \
+		mtn -d../$(mtnbase) db init; \
+	fi; \
+	mtn -d../$(mtnbase) -k "" pull www.ada-france.org '$(branch)'; \
+	cd .. && \
+	mtn -d$(mtnbase) co -r$(mtnversion) -b$(branch) $(orig_dir) && \
+	rm -rf $(orig_dir)/_MTN $(orig_dir)/.*ignore&& \
+	tar czf $(orig_tgz) $(orig_dir) && \
+	rm -r $(orig_dir)
+
+build-arch: patch obj-static/libasis.a obj-shared/libasis.so $(TOOLS)
+build-indep: patch build-doc
+
+obj-static/libasis.a: obj=$(dir $@)
+obj-static/libasis.a: library_kind=static
+obj-static/libasis.a: asis/*
+obj-shared/libasis.so: obj=$(dir $@)
+obj-shared/libasis.so: library_kind=dynamic
+obj-shared/libasis.so: asis/*
+
+obj-static/libasis.a obj-shared/libasis.so:
+	: # Build the $(library_kind) library
+	gnatmake -p -j$(CPUS) -Pdebian/install_asis \
+	   -Xobject_dir=../$(obj) -XLibrary_Kind=$(library_kind) -Xsoversion=$(soversion)
+	chmod a-w $(obj)/*.ali
+
+obj-tools:
+	-mkdir $@
+
+$(N_ASIS_UL_TOOLS)::
+	: # Build the tools, link dynamically against libasis.so
+	gnatmake -p -j$(CPUS) -Pdebian/tools.gpr -Xobject_dir=../obj-shared \
+	   -XLibrary_Kind=$(library_kind) -Xsoversion=$(soversion) \
+	   -XExternally_Built=true -XTarget=$@ $@-driver
+
+$(ASIS_UL_TOOLS)::
+	: # Build the tools, link dynamically against libasis.so
+	gnatmake -p -j$(CPUS) -Pdebian/tools.gpr -Xobject_dir=../obj-shared \
+	   -XLibrary_Kind=$(library_kind) -Xsoversion=$(soversion) \
+	   -XExternally_Built=true -XTarget=$@ asis_ul-several_files_driver
+
+$(TOOLS)::
+	: # Emit lintian overrides for each tool; Ada is intrinsically hardened.
+	echo "asis-programs: hardening-no-relro             usr/bin/$@" >> debian/asis-programs.lintian-overrides
+	echo "asis-programs: hardening-no-fortify-functions usr/bin/$@" >> debian/asis-programs.lintian-overrides
+
+binary: checks binary-arch binary-indep
+
+binary-arch: patch libasis$(soversion) libasis$(aliversion)-dev asis-programs
+	dh_compress -a
+	dh_fixperms -a
+	dh_lintian -a
+	dh_installdeb -a
+	dh_gencontrol -a
+	dh_md5sums -a
+	dh_builddeb -a
+
+checks: patch
+	dh_testdir
+	dh_testroot
+	dh_prep
+
+libasis$(aliversion)-dev: obj-static/libasis.a
+	-find debian -name '*.vms' -exec rm -f {} \;
+	dh_installdocs -p$@
+	dh_installchangelogs -p$@
+	dh_link -p$@ usr/lib/$(DEB_HOST_MULTIARCH)/$(LIBASIS) usr/lib/$(DEB_HOST_MULTIARCH)/libasis.so
+	dh_install -p$@ asis/*.ad[bs] usr/share/ada/adainclude/asis
+	dh_install -p$@ obj-shared/*.ali usr/lib/ada/adalib/asis
+	dh_install -p$@ obj-static/libasis.a usr/lib/$(DEB_HOST_MULTIARCH)
+	dh_install -p$@ debian/asis.gpr usr/share/ada/adainclude
+
+libasis$(soversion): obj-shared/libasis.so
+	dh_installdocs -p$@
+	dh_installchangelogs -p$@
+	dh_install -p$@ obj-shared/$(LIBASIS) usr/lib/$(DEB_HOST_MULTIARCH)
+	dh_makeshlibs -p$@
+	dh_shlibdeps -p$@
+	: # Emit lintian overrides for each tool; Ada is intrinsically hardened.
+	echo "$@: hardening-no-relro             usr/lib/*/$(LIBASIS)" >> debian/$@.lintian-overrides
+	echo "$@: hardening-no-fortify-functions usr/lib/*/$(LIBASIS)" >> debian/$@.lintian-overrides
+	dh_strip -p$@ --dbg-package=$@-dbg
+	dh_installdocs -p$@-dbg
+	dh_installchangelogs -p$@-dbg
+
+asis-programs: $(TOOLS)
+	dh_installdirs -p$@ usr/share/doc/$@
+	dh_installdocs -p$@ README
+	dh_installchangelogs -p$@
+	dh_install -p$@ $(TOOLS) usr/bin
+	dh_strip -p$@
+	dh_shlibdeps -p$@ \
+		-L libasis$(soversion) \
+		-l debian/libasis$(soversion)/usr/lib/$(DEB_HOST_MULTIARCH) \
+		usr/bin/*
+	cp tutorial/using_asistant/README \
+		debian/$@/usr/share/doc/$@/README.asistant
+	cp tutorial/using_templates/style_checker/README \
+		debian/$@/usr/share/doc/$@/README.gnatcheck
+	cp tools/gnatmetric/README \
+		debian/$@/usr/share/doc/$@/README.gnatmetric
+	cp tools/gnatpp/README \
+		debian/$@/usr/share/doc/$@/README.gnatpp
+	cp tools/gnatsync/README \
+		debian/$@/usr/share/doc/$@/README.gnatsync
+	dh_installman -p$@ $(foreach t,$(TOOLS),debian/$(t).1)
+
+binary-indep: patch asis-doc
+	dh_installchangelogs -i
+	dh_fixperms -i
+	dh_compress -i -X.pdf
+	dh_installdeb -i
+	dh_gencontrol -i
+	dh_md5sums -i
+	dh_builddeb -i
+
+build-doc:
+	$(MAKE) -C documentation
+
+extensions := html txt pdf
+asis-doc: build-doc
+	dh_installdocs -p$@ README tutorial *.txt asis-2005-transition.txt features-asis*
+	dh_installexamples -p$@ templates
+	dh_installdocs -p$@ $(foreach e,$(extensions),documentation/*.$(e))
+	dh_installinfo -p$@ documentation/*.info
+
+.PHONY: build clean binary-indep binary-arch binary install checks
+.PHONY: libasis$(soversion) libasis$(aliversion)-dev asis-programs
--- asis-2010.orig/debian/control
+++ asis-2010/debian/control
@@ -0,0 +1,83 @@
+Source: asis
+Maintainer: Ludovic Brenta <lbrenta@debian.org>
+Uploaders: Xavier Grave <xavier.grave@ipno.in2p3.fr>
+DM-Upload-Allowed: yes
+Section: libdevel
+Priority: optional
+Standards-Version: 3.9.3
+Build-Depends: gnat, gnat-4.6, debhelper (>= 8.1.3~), libgnatvsn4.6-dev, quilt
+Build-Depends-Indep: texinfo, texlive-generic-recommended,
+ texlive-fonts-recommended, texlive-latex-base, texi2html
+
+Package: libasis2010-dev
+Architecture: any
+Section: libdevel
+Conflicts: libasis-3.15p-1-dev, libasis-dev, libasis2008-dev
+Replaces: libasis-dev
+Depends: libasis2010 (= ${binary:Version}), gnat, gnat-4.6, libgnatvsn4.6-dev, ${misc:Depends}
+Suggests: libasis-doc, libasis2010-dbg
+Description: Ada Semantic Interface Specification (ASIS) headers and libraries
+ ASIS (Ada Semantic Interface Specification) lets you develop applications
+ to walk through the sources of your Ada programs and examine the semantic
+ constructs.
+ .
+ This package lets you build ASIS applications with GNAT.
+
+Package: asis-programs
+Architecture: any
+Section: devel
+Depends: gnat, gnat-4.6, ${shlibs:Depends}, ${misc:Depends}
+Description: Ada Semantic Interface Specification (ASIS) example programs
+ ASIS (Ada Semantic Interface Specification) lets you develop applications
+ to walk through the sources of your Ada programs and examine the semantic
+ constructs.
+ .
+  * asistant is an interactive command-line tool to explore the ASIS parse tree
+    of a program.
+  * gnatcheck verifies the conformance of source text to coding conventions
+  * gnatelim finds out unused subprograms and eliminates them.
+  * gnatmetric calculates metrics such as code complexity.
+  * gnatpp is a pretty-printer which reformats Ada source text according to
+    a default or user-specified style guide.
+  * gnatstub generates an empty but compilable body for a given specification.
+  * gnatsync analyzes multitasking programs to find possible race conditions.
+
+Package: libasis2010
+Architecture: any
+Section: libs
+Multi-Arch: same
+Pre-Depends: ${misc:Pre-Depends}
+Depends: gnat, gnat-4.6, ${shlibs:Depends}, ${misc:Depends}
+Description: Ada Semantic Interface Specification (ASIS) runtime library
+ ASIS (Ada Semantic Interface Specification) lets you develop applications
+ to walk through the sources of your Ada programs and examine the semantic
+ constructs.
+ .
+ This package contains the libraries necessary to execute ASIS programs.
+
+Package: libasis2010-dbg
+Architecture: any
+Section: debug
+Priority: extra
+Depends: libasis2010 (= ${binary:Version}), ${misc:Depends}
+Recommends: libasis2010-dev
+Suggests: gnat
+Description: Ada Semantic Interface Specification (ASIS) runtime library - debugging symbols
+ ASIS (Ada Semantic Interface Specification) lets you develop applications
+ to walk through the sources of your Ada programs and examine the semantic
+ constructs.
+ .
+ This package contains the symbols necessary to debug ASIS programs using gdb.
+
+Package: asis-doc
+Architecture: all
+Section: doc
+Depends: ${misc:Depends}
+Suggests: gnat
+Description: Ada Semantic Interface Specification (ASIS) documentation
+ ASIS (Ada Semantic Interface Specification) lets you develop applications
+ to walk through the sources of your Ada programs and examine the semantic
+ constructs.
+ .
+ This package contains the documentation in HTML, info, PDF and plain text
+ formats.
--- asis-2010.orig/debian/asistant.1
+++ asis-2010/debian/asistant.1
@@ -0,0 +1,64 @@
+.\" Hey, Emacs!  This is an -*- nroff -*- source file.
+.\"
+.\" Copyright (C) 2006 Ludovic Brenta <ludovic@ludovic-brenta.org>
+.\"
+.\" This is free software; you can redistribute it and/or modify it under
+.\" the terms of the GNU General Public License as published by the Free
+.\" Software Foundation; either version 2, or (at your option) any later
+.\" version.
+.\" 
+.\" This is distributed in the hope that it will be useful, but WITHOUT
+.\" ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
+.\" FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
+.\" for more details.
+.\" 
+.\" You should have received a copy of the GNU General Public License with
+.\" your Debian GNU/Linux system, in /usr/share/common-licenses/GPL, If not,
+.\" write to the Free Software Foundation, Inc., 51 Franklin St, Fifth
+.\" Floor, Boston, MA  02110-1301  USA.
+.\"
+.TH "ASISTANT" 1 "May 2006" "GNU Ada Tools" "ASIS Tools"
+.SH NAME
+\fBasistant\fR \- interactive command-line ASIS tool
+.SH SYNOPSIS
+\fBasistant\fR \fIprogram\fR
+.SH DESCRIPTION
+.PP
+ASIS is the Ada Semantic Interface Specification; it is an application
+programming interface that allows Ada programs to inspect the
+structure of other Ada programs.  GNAT, the GNU Ada compiler, can
+parse Ada source text and produce tree files suitable for use through
+ASIS.
+.PP
+\fBasistant\fR is an interactive command-line tool with a simple
+language that allows you to inspect the semantic information about a
+compiled program.  Thus you can learn ASIS and try ASIS queries
+interactively before writing them in your programs.
+.SH AUTHOR
+.PP
+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  the  Swiss  Academy  of  Engineering
+Sciences.     ASIS-for-GNAT    is     now    maintained    by    AdaCore
+(http://www.adacore.com).
+.PP
+This manual page was written by Ludovic Brenta
+<ludovic@ludovic-brenta.org> for the Debian project, 
+.SH COPYRIGHT
+Copyright (c) 1995-2006, Free Software Foundation, Inc.
+.SH SEE ALSO
+.PP
+gnat(1), gnatcheck(1), gnatelim(1), gnatmetric(1), gnatpp(1), gnatstub(1)
+.PP
+A short introduction to \fBasistant\fR in
+\fI/usr/share/doc/libasis-dev/tutorial/using_asistant/README\fR
+.TP
+\fBinfo asis_ug\fR ASIS-for-GNAT User's Guide, provided by by package
+\fBlibasis-doc\fR in the Info system, and in text, PDF and HTML
+formats in \fI/usr/share/doc/libasis-doc\fR.  (\fBasis-doc\fR is in
+the non-free section of Debian).
+.TP
+\fBinfo asis_rm\fR ASIS-for-GNAT Reference Manual, same package.
--- asis-2010.orig/debian/patches/gnatgcc.patch
+++ asis-2010/debian/patches/gnatgcc.patch
@@ -0,0 +1,40 @@
+Explicitly use gnatgcc as the compiler driver, rather than gcc,
+because gcc may not be the default Ada compiler.
+
+--- a/asis/a4g-gnat_int.adb
++++ b/asis/a4g-gnat_int.adb
+@@ -72,7 +72,7 @@
+ 
+    LT           : String renames ASIS_Line_Terminator;
+    Standard_GCC : constant String_Access :=
+-     GNAT.OS_Lib.Locate_Exec_On_Path ("gcc");
++     GNAT.OS_Lib.Locate_Exec_On_Path ("gnatgcc");
+ 
+    -----------------
+    -- Create_Tree --
+Index: tools/tool_utils/asis_ul-common.adb
+===================================================================
+--- a/tools/tool_utils/asis_ul-common.adb.orig
++++ b/tools/tool_utils/asis_ul-common.adb
+@@ -74,7 +74,7 @@
+          if Gnatmake_Call then
+             return Target & "gnatmake";
+          else
+-            return Target & "gcc";
++            return Target & "gnatgcc";
+          end if;
+ 
+       end if;
+Index: asis/a4g-contt.adb
+===================================================================
+--- a/asis/a4g-contt.adb.orig
++++ b/asis/a4g-contt.adb
+@@ -977,7 +977,7 @@
+                if Dash_Idx > 0 then
+                   Contexts.Table (Cont).GCC :=
+                     Locate_Exec_On_Path
+-                      (Tool_Name (Tool_Name'First .. Dash_Idx) & "gcc");
++                      (Tool_Name (Tool_Name'First .. Dash_Idx) & "gnatgcc");
+                end if;
+ 
+             end;
--- asis-2010.orig/debian/patches/new-einfo.patch
+++ asis-2010/debian/patches/new-einfo.patch
@@ -0,0 +1,14 @@
+# Regarding to ChangeLog-2010 2010-10-26 Is_Overriding_Operation is removed from
+# einfo.ad[sb], use Present (Overriden_Operation instead
+
+--- a/asis/asis-extensions.adb
++++ b/asis/asis-extensions.adb
+@@ -2523,7 +2523,7 @@
+           Nkind (Entity_N) in
+             N_Defining_Identifier .. N_Defining_Operator_Symbol
+       then
+-         Result := Is_Overriding_Operation (Entity_N);
++         Result := Present (Overridden_Operation (Entity_N));
+       end if;
+ 
+       return Result;
--- asis-2010.orig/debian/patches/snames-2012.patch
+++ asis-2010/debian/patches/snames-2012.patch
@@ -0,0 +1,14 @@
+# Take into account Remove of Name_Implemented_By_Entry and new Name_Implemented
+# see ChangeLog-2010 2010-10-08 entry
+
+--- a/asis/a4g-a_sem.adb
++++ b/asis/a4g-a_sem.adb
+@@ -1241,7 +1241,7 @@
+               Name_Export_Valued_Procedure      |
+               Name_Favor_Top_Level              |
+               Name_Finalize_Storage_Only        |
+-              Name_Implemented_By_Entry         |
++              Name_Implemented                  |
+               Name_Import_Exception             |
+               Name_Import_Function              |
+               Name_Import_Object                |
--- asis-2010.orig/debian/patches/series
+++ asis-2010/debian/patches/series
@@ -0,0 +1,4 @@
+gnatgcc.patch 
+documentation.patch
+snames-2012.patch
+new-einfo.patch
--- asis-2010.orig/debian/patches/documentation.patch
+++ asis-2010/debian/patches/documentation.patch
@@ -0,0 +1,351 @@
+Index: b/documentation/Makefile
+===================================================================
+--- a/documentation/Makefile
++++ b/documentation/Makefile
+@@ -1,14 +1,13 @@
+-all: pdf html info partial_clean
++FORMATS := info html pdf txt
++MANUALS := asis_ug asis_rm gnatcheck_rm
+ 
+-pdf:  asis_ug.pdf  asis_rm.pdf gnatcheck_rm.pdf
+-html: asis_ug.html asis_rm.html gnatcheck_rm.html
+-info: asis_ug.info asis_rm.info gnatcheck_rm.info
++all: $(foreach m,$(MANUALS),$(foreach f,$(FORMATS),$(m).$(f))) partial_clean
+ 
+ partial_clean:
+ 	rm -f *.aux *.cp *.cps *.dvi *.fn *.ky *.log *.pg *.toc *.tp *.vr
+ 
+ clean: partial_clean
+-	rm -rf *.ps *.info* *.html asis_rm.txt asis_ug.txt
++	rm -rf $(addprefix *.,$(FORMATS)) gnatcheck_rm.texi gnatcheck_rules.texi
+ 
+ %.pdf: %.texi
+ 	echo x | texi2pdf ${@:%.pdf=%.texi}
+@@ -21,27 +20,7 @@
+ 	makeinfo --force --no-headers --no-split -o ${@:%.info=%.txt} \
+ 		${@:%.info=%.texi}
+ 
+-asis_ug.texi: edition.texi texinfo.tex texiplus.tex gfdl.texi
+-asis_rm.texi: edition.texi texinfo.tex texiplus.tex gfdl.texi
+-gnatcheck_rm.texi: edition.texi texinfo.tex texiplus.tex gfdl.texi
++asis_ug.texi: edition.texi texiplus.tex
++asis_rm.texi: edition.texi texiplus.tex
++gnatcheck_rm.texi: edition.texi texiplus.tex
+ 	cp ../tools/gnatcheck/gnatcheck_rm.texi .
+-
+-gfdl.texi:
+-	cp ../gnat/gfdl.texi .
+-
+-edition.texi:
+-	cp ../gnat/edition.texi .
+-
+-texinfo.tex:
+-	cp ../gnat/texinfo.tex .
+-
+-texiplus.tex:
+-	cp ../gnat/texiplus.tex .
+-
+-gnatcheck_rules.texi : ../tools/gnatcheck/gnatcheck-docgen
+-	(cd ../tools/gnatcheck; ./gnatcheck-docgen$(exe_ext))
+-	cp ../tools/gnatcheck/docs/gnatcheck_rules.texi .
+-
+-../tools/gnatcheck/gnatcheck-docgen :
+-	(cd ../tools/gnatcheck; gnatmake -Pgnatcheck gnatcheck-docgen)
+-
+Index: b/documentation/asis_rm.texi
+===================================================================
+--- a/documentation/asis_rm.texi
++++ b/documentation/asis_rm.texi
+@@ -71,6 +71,11 @@
+ @setfilename asis_rm.info
+ @include version.texi
+ 
++@dircategory GNU Ada tools
++@direntry
++* ASIS_RM: (asis_rm).    Ada Semantic Interface Specification: reference manual
++@end direntry
++
+ @set NOW January 2008
+ @c This flag is used where the text refers to conditions that exist when the
+ @c text was entered into the document but which may change over time.
+@@ -136,15 +141,16 @@
+ 
+ Copyright @copyright{} 2000-2008, AdaCore
+ 
+-Permission is granted to copy, distribute and/or modify this document
+-under the terms of the GNU Free Documentation License, Version 1.1
+-or any later version published by the Free Software Foundation;
+-with the Invariant Sections being ``GNU Free Documentation License'', with the
+-Front-Cover Texts being
+-``ASIS-for-GNAT Reference Manual'',
+-and with no Back-Cover Texts.
+-A copy of the license is included in the section entitled
+-``GNU Free Documentation License''.
++ASIS-for-GNAT is free software; you can redistribute it and/or modify it
++under terms of the  GNU General Public License  as published by the Free
++Software Foundation;  either version 2,  or  (at your option)  any later
++version. ASIS-for-GNAT is distributed  in the hope  that it will be use-
++ful, but WITHOUT ANY WARRANTY; without even the implied warranty of MER-
++CHANTABILITY or  FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General 
++Public License for more details. You should have received a copy of the 
++GNU General Public License  distributed with ASIS-for-GNAT; see file    
++COPYING.  If not,  write  to the  Free Software Foundation,  51 Franklin
++Street, Fifth Floor, Boston, MA 02110-1301, USA.                        
+ 
+ @end titlepage
+ 
+@@ -180,15 +186,16 @@
+ Copyright @copyright{} 2000-2009, AdaCore
+ 
+ @noindent
+-Permission is granted to copy, distribute and/or modify this document
+-under the terms of the GNU Free Documentation License, Version 1.1
+-or any later version published by the Free Software Foundation;
+-with the Invariant Sections being ``GNU Free Documentation License'', with the
+-Front-Cover Texts being
+-``ASIS-for-GNAT Reference Manual'',
+-and with no Back-Cover Texts.
+-A copy of the license is included in the section entitled
+-``GNU Free Documentation License''.
++ASIS-for-GNAT is free software; you can redistribute it and/or modify it
++under terms of the  GNU General Public License  as published by the Free
++Software Foundation;  either version 2,  or  (at your option)  any later
++version. ASIS-for-GNAT is distributed  in the hope  that it will be use-
++ful, but WITHOUT ANY WARRANTY; without even the implied warranty of MER-
++CHANTABILITY or  FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General 
++Public License for more details. You should have received a copy of the 
++GNU General Public License  distributed with ASIS-for-GNAT; see file    
++COPYING.  If not,  write  to the  Free Software Foundation,  51 Franklin
++Street, Fifth Floor, Boston, MA 02110-1301, USA.                        
+ 
+ @menu
+ * About This Manual::
+@@ -196,7 +203,6 @@
+ * ASIS Extensions::
+ * Implementation-Specific Features and Implementation Permissions::
+ * Debugging Information::
+-* GNU Free Documentation License::
+ * Index::
+ 
+ @detailmenu
+@@ -1677,13 +1683,6 @@
+ 
+ @end table
+ 
+-
+-@c **********************************
+-@c * GNU Free Documentation License *
+-@c **********************************
+-@include gfdl.texi
+-@c GNU Free Documentation License
+-
+ @c *************************************
+ @node Index
+ @c *************************************
+Index: b/documentation/asis_ug.texi
+===================================================================
+--- a/documentation/asis_ug.texi
++++ b/documentation/asis_ug.texi
+@@ -73,6 +73,11 @@
+ @setfilename asis_ug.info
+ @include version.texi
+ 
++@dircategory GNU Ada tools
++@direntry
++* ASIS_UG: (asis_ug).    Ada Semantic Interface Specification: user's guide
++@end direntry
++
+ @set NOW January 2008
+ @c This flag is used where the text refers to conditions that exist when the
+ @c text was entered into the document but which may change over time.
+@@ -138,16 +143,16 @@
+ 
+ Copyright @copyright{} 2000-2009, AdaCore
+ 
+-Permission is granted to copy, distribute and/or modify this document
+-under the terms of the GNU Free Documentation License, Version 1.1
+-or any later version published by the Free Software Foundation;
+-with the Invariant Sections being ``GNU Free Documentation License'', with the
+-Front-Cover Texts being
+-``ASIS-for-GNAT User's Guide'',
+-and with no Back-Cover Texts.
+-A copy of the license is included in the section entitled
+-``GNU Free Documentation License''.
+-
++ASIS-for-GNAT is free software; you can redistribute it and/or modify it
++under terms of the  GNU General Public License  as published by the Free
++Software Foundation;  either version 2,  or  (at your option)  any later
++version. ASIS-for-GNAT is distributed  in the hope  that it will be use-
++ful, but WITHOUT ANY WARRANTY; without even the implied warranty of MER-
++CHANTABILITY or  FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General 
++Public License for more details. You should have received a copy of the 
++GNU General Public License  distributed with ASIS-for-GNAT; see file    
++COPYING. If not, write to the Free Software Foundation,  59 Temple Place
++Suite 330, Boston, MA 02111-1307, USA.                                  
+ @end titlepage
+ 
+ 
+@@ -182,16 +187,16 @@
+ Copyright @copyright{} 2000-2009, AdaCore
+ 
+ @noindent
+-Permission is granted to copy, distribute and/or modify this document
+-under the terms of the GNU Free Documentation License, Version 1.1
+-or any later version published by the Free Software Foundation;
+-with the Invariant Sections being ``GNU Free Documentation License'', with the
+-Front-Cover Texts being
+-``ASIS-for-GNAT User's Guide'',
+-and with no Back-Cover Texts.
+-A copy of the license is included in the section entitled
+-``GNU Free Documentation License''.
+-
++ASIS-for-GNAT is free software; you can redistribute it and/or modify it
++under terms of the  GNU General Public License  as published by the Free
++Software Foundation;  either version 2,  or  (at your option)  any later
++version. ASIS-for-GNAT is distributed  in the hope  that it will be use-
++ful, but WITHOUT ANY WARRANTY; without even the implied warranty of MER-
++CHANTABILITY or  FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General 
++Public License for more details. You should have received a copy of the 
++GNU General Public License  distributed with ASIS-for-GNAT; see file    
++COPYING. If not, write to the Free Software Foundation,  59 Temple Place
++Suite 330, Boston, MA 02111-1307, USA.                                  
+ 
+ @menu
+ * About This Guide::
+@@ -208,7 +213,6 @@
+ * ASIS-for-GNAT Warnings::
+ * Exception Handling and Reporting Internal Bugs::
+ * File Naming Conventions and Application Name Space::
+-* GNU Free Documentation License::
+ * Index::
+ @detailmenu
+  --- The Detailed Node Listing ---
+@@ -3104,12 +3108,6 @@
+ the GNAT components being a part of ASIS-for-GNAT) follow the GNAT file name
+ conventions without any name ``krunch''ing.
+ 
+-@c **********************************
+-@c * GNU Free Documentation License *
+-@c **********************************
+-@include gfdl.texi
+-@c GNU Free Documentation License
+-
+ @c *************************************
+ @node Index
+ @c *************************************
+Index: b/tools/gnatcheck/gnatcheck_rm.texi
+===================================================================
+--- a/tools/gnatcheck/gnatcheck_rm.texi
++++ b/tools/gnatcheck/gnatcheck_rm.texi
+@@ -57,6 +57,11 @@
+ @setfilename gnatcheck_rm.info
+ @include version.texi
+ 
++@dircategory GNU Ada tools
++@direntry
++* gnatcheck: (gnatcheck_rm).    Gnatcheck reference manual
++@end direntry
++
+ @set NOW December 2009
+ @c This flag is used where the text refers to conditions that exist when the
+ @c text was entered into the document but which may change over time.
+@@ -124,15 +129,16 @@
+ 
+ Copyright @copyright{} 2009, AdaCore
+ 
+-Permission is granted to copy, distribute and/or modify this document
+-under the terms of the GNU Free Documentation License, Version 1.1
+-or any later version published by the Free Software Foundation;
+-with the Invariant Sections being ``GNU Free Documentation License'', with the
+-Front-Cover Texts being
+-``GNATcheck Reference Manual  - Predefined Rules'',
+-and with no Back-Cover Texts.
+-A copy of the license is included in the section entitled
+-``GNU Free Documentation License''.
++GNATCHECK  is  free  software;  you can  redistribute it and/or modify it
++under  terms of  the GNU General Public License  as published by the Free
++Software  Foundation;  either  version 2,  or (at your option)  any later
++version.  GNAT  is  distributed  in the  hope that it will be useful, but
++WITHOUT   ANY   WARRANTY;   without   even   the   implied   warranty  of
++MERCHANTABILITY or FITNESS FOR A  PARTICULAR PURPOSE. See the GNU General
++Public  License  for more  details.  You should have  received  a copy of
++the  GNU  General Public License distributed with GNAT; see file COPYING.
++If  not,  write  to  the   Free  Software Foundation, 51 Franklin Street,
++Fifth Floor, Boston, MA 02110-1301, USA.                                 
+ 
+ @end titlepage
+ 
+@@ -167,15 +173,16 @@
+ Copyright @copyright{} 2009, AdaCore
+ 
+ @noindent
+-Permission is granted to copy, distribute and/or modify this document
+-under the terms of the GNU Free Documentation License, Version 1.1
+-or any later version published by the Free Software Foundation;
+-with the Invariant Sections being ``GNU Free Documentation License'', with the
+-Front-Cover Texts being
+-``GNATcheck Reference Manual - Predefined Rules'',
+-and with no Back-Cover Texts.
+-A copy of the license is included in the section entitled
+-``GNU Free Documentation License''.
++GNATCHECK  is  free  software;  you can  redistribute it and/or modify it
++under  terms of  the GNU General Public License  as published by the Free
++Software  Foundation;  either  version 2,  or (at your option)  any later
++version.  GNAT  is  distributed  in the  hope that it will be useful, but
++WITHOUT   ANY   WARRANTY;   without   even   the   implied   warranty  of
++MERCHANTABILITY or FITNESS FOR A  PARTICULAR PURPOSE. See the GNU General
++Public  License  for more  details.  You should have  received  a copy of
++the  GNU  General Public License distributed with GNAT; see file COPYING.
++If  not,  write  to  the   Free  Software Foundation, 51 Franklin Street,
++Fifth Floor, Boston, MA 02110-1301, USA.                                 
+ 
+ @menu
+ * About This Manual::
+@@ -187,7 +194,6 @@
+ * How to add a new rule
+ @end ignore
+ * List of Rules::
+-* GNU Free Documentation License::
+ * Index::
+ 
+ @detailmenu
+@@ -253,8 +259,6 @@
+ 
+ List of Rules
+ 
+-GNU Free Documentation License
+-
+ Index
+ @end detailmenu
+ 
+@@ -2689,15 +2693,7 @@
+ 
+ @end itemize
+ 
+-
+-
+-@c **********************************
+-@c * GNU Free Documentation License *
+-@c **********************************
+-@include gfdl.texi
+-@c GNU Free Documentation License
+-
+-@node Index,,GNU Free Documentation License, Top
++@node Index,,List of Rules, Top
+ @unnumbered Index
+ 
+ @printindex cp
+Index: b/documentation/edition.texi
+===================================================================
+--- a/documentation/edition.texi
++++ b/documentation/edition.texi
+@@ -1 +1 @@
+-@set GPLEDITION
++@set FSFEDITION
+Index: b/documentation/version.texi
+===================================================================
+--- a/documentation/version.texi
++++ b/documentation/version.texi
+@@ -1 +1 @@
+-@set gnat_version 2010
++@set gnat_version 4.6
--- asis-2010.orig/_MTN/format
+++ asis-2010/_MTN/format
@@ -0,0 +1 @@
+2
--- asis-2010.orig/_MTN/revision
+++ asis-2010/_MTN/revision
@@ -0,0 +1,5 @@
+format_version "1"
+
+new_manifest [0000000000000000000000000000000000000002]
+
+old_revision [f40915fddffdb274f8f9baea8d5cd7eafd77114b]
--- asis-2010.orig/_MTN/options
+++ asis-2010/_MTN/options
@@ -0,0 +1,3 @@
+database "/var/lib/monotone/lbrenta.mtn-1.0"
+  branch "org.debian.asis"
+  keydir "/home/lbrenta/.monotone/keys"
