copyright revision 293d6a21360117b9c8d81f2811fe2e94539cf955
536N/AUpstream-Name: hets-hollight-tools
536N/ASource: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk/HolLight/OcamlTools
536N/A
536N/ACopyright: 2011 C. Maeder <Christian.Maeder@dfki.de>
965N/ALicense: GPL-2+
536N/A This package is free software; you can redistribute it and/or modify
536N/A it under the terms of the GNU General Public License as published by
919N/A the Free Software Foundation; either version 2 of the License, or
919N/A (at your option) any later version.
919N/A .
919N/A This package is distributed in the hope that it will be useful,
919N/A but WITHOUT ANY WARRANTY; without even the implied warranty of
919N/A MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
919N/A GNU General Public License for more details.
919N/A .
919N/A You should have received a copy of the GNU General Public License
919N/A along with this program. If not, see <http://www.gnu.org/licenses/>
919N/A .
919N/A On Debian systems, the complete text of the GNU General
919N/A Public License version 2 can be found in "/usr/share/common-licenses/GPL-2".
919N/A