1 2 3 4 5
mavigator (0.0.1-3) unstable; urgency=medium * Initial release -- Jakob Odersky <jakob@odersky.com> Thu, 09 Feb 2017 16:21:34 -0800