Package: rivet-user-manual Priority: optional Section: universe/doc Installed-Size: 811 Maintainer: Ubuntu Developers Original-Maintainer: Debian Science Maintainers Architecture: all Source: rivet Version: 1.8.3-1.3 Suggests: rivet Filename: pool/universe/r/rivet/rivet-user-manual_1.8.3-1.3_all.deb Size: 819622 MD5sum: 52cd2539ab7469225e72e65db736d6c7 SHA1: 1355d5701ffc0167468e73a45aac1fd76710b19a SHA256: b986a64896edeb3147c60992b9c30acf359835707b181bf61a437e03614fcb0f Description: Rivet User Manual Homepage: http://rivet.hepforge.org/ Description-md5: 3e0c51db776f2ead841d359cb4fb8cba Bugs: https://bugs.launchpad.net/ubuntu/+filebug Origin: Ubuntu