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