]> matita.cs.unibo.it Git - helm.git/history - helm/helmpot/debian
projects / helm.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
An old note (that goes back to July) integrated in matita.txt.
[helm.git] / helm / helmpot / debian /
2003-06-25 Stefano Zacchiroliforward ported to use pkg-config tree | commitdiff
2002-05-14 Stefano ZacchiroliErroniously included (is a debian build process temp... tree | commitdiff
2002-05-14 Stefano ZacchiroliRelease 0.1.0-1 of the deb package. tree | commitdiff
2001-11-14 Stefano ZacchiroliBug fix: changed "prefix" dir in install target. tree | commitdiff
2001-11-14 Stefano ZacchiroliChanged policy standard version. tree | commitdiff
2001-11-14 Stefano ZacchiroliRemoved INSTALL (not needed) and NEWS (0 sized) from... tree | commitdiff
2001-11-14 Stefano ZacchiroliRemove template like string that lintian hates. tree | commitdiff
2001-11-14 Stefano ZacchiroliSet DH_COMPAT=2 (instead of 1). tree | commitdiff
2001-11-14 Stefano ZacchiroliSet section field. Changed maintainer field. tree | commitdiff
2001-11-14 Stefano ZacchiroliChanged maintainer field and set section field. tree | commitdiff
2001-11-14 Stefano ZacchiroliRemoved temp files from repository. tree | commitdiff
2001-10-05 Claudio Sacerdoti... Debian packaging of helmpot-0.0.3 tree | commitdiff
2001-08-27 Claudio Sacerdoti... Upgrade to 0.0.2 tree | commitdiff
2001-04-12 Luca PadovaniInitial revision tree | commitdiff
Unnamed repository; edit this file 'description' to name the repository.