]> matita.cs.unibo.it Git - helm.git/commit
dependences update
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 22 Jan 2015 12:21:00 +0000 (12:21 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 22 Jan 2015 12:21:00 +0000 (12:21 +0000)
commit4904accd80118cb8126e308ae098d87f8651c9f4
treee598ed1d1f15089807e2a92337baa0ebf52009f3
parent433d9c9612c1557e03a549e004c796c1137d4b4a
dependences update
helm/software/components/METAS/meta.helm-hmysql.src
helm/software/components/binaries/transcript/.depend.opt