From d9de97af721618096e285e3646190d5b32334d4d Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Mon, 22 Oct 2007 09:48:12 +0000 Subject: [PATCH] fixed copyright file... an ITP should be done --- helm/software/pkg-matita/trunk/debian/control | 2 +- .../pkg-matita/trunk/debian/copyright | 25 ++++++++++++++++--- 2 files changed, 23 insertions(+), 4 deletions(-) diff --git a/helm/software/pkg-matita/trunk/debian/control b/helm/software/pkg-matita/trunk/debian/control index 2a44ce836..b2443b7ff 100644 --- a/helm/software/pkg-matita/trunk/debian/control +++ b/helm/software/pkg-matita/trunk/debian/control @@ -3,7 +3,7 @@ Section: math Priority: optional Maintainer: Enrico Tassi Uploaders: Stefano Zacchiroli -Build-Depends: ocaml, ocaml-findlib, libgdome2-ocaml-dev, liblablgtk2-ocaml-dev, liblablgtkmathview-ocaml-dev, liblablgtksourceview-ocaml-dev, libsqlite3-ocaml-dev (>= 0.22.0), libocamlnet-ocaml-dev, libzip-ocaml-dev, libhttp-ocaml-dev, ocaml-ulex, libexpat-ocaml-dev, debhelper, cdbs, libmysql-ocaml-dev +Build-Depends: ocaml (>= 3.10.0), ocaml-findlib, libgdome2-ocaml-dev, liblablgtk2-ocaml-dev, liblablgtkmathview-ocaml-dev, liblablgtksourceview-ocaml-dev, libsqlite3-ocaml-dev, libocamlnet-ocaml-dev, libzip-ocaml-dev, libhttp-ocaml-dev, ocaml-ulex, libexpat-ocaml-dev, debhelper, cdbs, libmysql-ocaml-dev Standards-Version: 3.7.2 XS-Vcs-Svn: svn://mowgli.cs.unibo.it/trunk/helm/software/pkg-matita/trunk/ XS-Vcs-Browser: http://helm.cs.unibo.it/websvn/listing.php?path=/trunk/helm/software/pkg-matita/trunk/ diff --git a/helm/software/pkg-matita/trunk/debian/copyright b/helm/software/pkg-matita/trunk/debian/copyright index 502fc0679..14913710d 100644 --- a/helm/software/pkg-matita/trunk/debian/copyright +++ b/helm/software/pkg-matita/trunk/debian/copyright @@ -1,10 +1,29 @@ This package was debianized by Enrico Tassi -Thu May 8 10:36:13 CEST 2007. +Wed Oct 17 17:48:32 CEST 2007. It was downloaded from http://matita.cs.unibo.it. - Copyright © 2000-2007 The Matita Team. - The software is released under the terms of the GNU/GPL license. See /usr/share/common-licenses/GPL + +File components/extlib/trie.ml: +Copyright (C) 2000 Jean-Christophe FILLIATRE +Released under LGPL version 2 +See /usr/share/common-licenses/LGPL-2 + +File components/syntax_extensions/data/dictionary-tex.xml: +Copyright (C) 2002-2003 Luca Padovani , + 2003 Paolo Marinelli . +Released under LGPL version 2.1 +See /usr/share/common-licenses/LGPL-2.1 + +All .ma files are released under LGPL version 2.1 +See /usr/share/common-licenses/LGPL-2.1 + +Files components/tactics/setoids.ml, components/tactics/setoids.mli and +components/tactics/fourier.ml are part of The Coq Proof Assistant +Copyright (C) The Coq Development Team +Released under LGPL version 2.1 +See /usr/share/common-licenses/LGPL-2.1 + -- 2.39.2