]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/helmpot/debian/copyright
ocaml 3.09 transition
[helm.git] / helm / helmpot / debian / copyright
index eb8ef893d1420f9f5177bdcbdb937e1bdedc95a6..e2472b069a53fe4a2056a84fbfcfcbabdc6172a4 100644 (file)
@@ -2,9 +2,9 @@ This package was debianized by Luca Padovani <luca.padovani@cs.unibo.it> on
 Thu, 12 Apr 2001 17:18:05 +0200.
 
 It was packed from source obtained via cvs, with this CVSROOT:
-        :pserver:anonymous@phd.cs.unibo.it:/home/lpadovan/PHELM/
+  :pserver:anonymous@phd.cs.unibo.it:/home/lpadovan/PHELM/
 
-Upstream Author(s): Luca Padovani <luca.padovani@cs.unibo.it>
+Author: Luca Padovani <luca.padovani@cs.unibo.it>
 
 Copyright:
  Copyright (C) 2000, Luca Padovani <luca.padovani@cs.unibo.it>.