]> matita.cs.unibo.it Git - helm.git/history - helm/helmpot/debian
...
[helm.git] / helm / helmpot / debian /
2003-06-25 Stefano Zacchiroliforward ported to use pkg-config
2002-05-14 Stefano ZacchiroliErroniously included (is a debian build process temp...
2002-05-14 Stefano ZacchiroliRelease 0.1.0-1 of the deb package.
2001-11-14 Stefano ZacchiroliBug fix: changed "prefix" dir in install target.
2001-11-14 Stefano ZacchiroliChanged policy standard version.
2001-11-14 Stefano ZacchiroliRemoved INSTALL (not needed) and NEWS (0 sized) from...
2001-11-14 Stefano ZacchiroliRemove template like string that lintian hates.
2001-11-14 Stefano ZacchiroliSet DH_COMPAT=2 (instead of 1).
2001-11-14 Stefano ZacchiroliSet section field. Changed maintainer field.
2001-11-14 Stefano ZacchiroliChanged maintainer field and set section field.
2001-11-14 Stefano ZacchiroliRemoved temp files from repository.
2001-10-05 Claudio Sacerdoti... Debian packaging of helmpot-0.0.3
2001-08-27 Claudio Sacerdoti... Upgrade to 0.0.2
2001-04-12 Luca PadovaniInitial revision