Ubuntu
maude package

Branches for Trusty

Name		Status	Last Modified	Last Commit
lp:ubuntu/trusty/maude		2 Mature	2013-10-24 09:22:27 UTC 2013-10-24	5. debian/rules: dh --with autotools_dev... Author: Andreas Tille Revision Date: 2013-10-24 09:22:27 UTC debian/rules: dh --with autotools_dev Closes: #727454
lp:ubuntu/trusty-proposed/maude		1 Development	2013-10-24 11:18:28 UTC 2013-10-24	5. debian/rules: dh --with autotools_dev... Author: Andreas Tille Revision Date: 2013-10-24 09:22:27 UTC debian/rules: dh --with autotools_dev Closes: #727454