../ rivet-plugins-data_1.8.3-2_all.deb 13-Jun-2016 13:45 1164610 rivet-plugins-dev_1.8.3-2_all.deb 13-Jun-2016 13:45 53638 rivet-plugins-doc_1.8.3-2_all.deb 13-Jun-2016 13:45 84112 rivet-reference_1.8.3-2_all.deb 13-Jun-2016 13:45 532794 rivet-user-manual_1.8.3-2_all.deb 13-Jun-2016 13:45 861760 rivet_1.8.3-2_all.deb 13-Jun-2016 13:45 104154