ch.epfl.lamp dotty_0.8 0.8.0-bin-20180424-e77604d-NIGHTLY 0.8.0-bin-20180424-e77604d-NIGHTLY 0.8.0-RC1 0.8.0 0.8.0-bin-20180305-346956e-NIGHTLY 0.8.0-bin-20180306-4be2e76-NIGHTLY 0.8.0-bin-20180307-14fb071-NIGHTLY 0.8.0-bin-20180308-cfef000-NIGHTLY 0.8.0-bin-20180309-09bcded-NIGHTLY 0.8.0-bin-20180311-f3c54e4-NIGHTLY 0.8.0-bin-20180312-a230912-NIGHTLY 0.8.0-bin-20180313-a27bc12-NIGHTLY 0.8.0-bin-20180314-6ac9bf2-NIGHTLY 0.8.0-bin-20180316-96e7f7d-NIGHTLY 0.8.0-bin-20180316-785c696-NIGHTLY 0.8.0-bin-20180317-b499a9a-NIGHTLY 0.8.0-bin-20180318-990469e-NIGHTLY 0.8.0-bin-20180319-99b10eb-NIGHTLY 0.8.0-bin-20180320-0eb0423-NIGHTLY 0.8.0-bin-20180321-0c5e39d-NIGHTLY 0.8.0-bin-20180323-abb6f36-NIGHTLY 0.8.0-bin-20180323-5be1360-NIGHTLY 0.8.0-bin-20180324-771d4c4-NIGHTLY 0.8.0-bin-20180325-c5e40dc-NIGHTLY 0.8.0-bin-20180330-ce7246f-NIGHTLY 0.8.0-bin-20180401-14187e2-NIGHTLY 0.8.0-bin-20180403-7d01268-NIGHTLY 0.8.0-bin-20180404-4c8a2bd-NIGHTLY 0.8.0-bin-20180405-e0ef928-NIGHTLY 0.8.0-bin-20180406-af7bde7-NIGHTLY 0.8.0-bin-20180407-08f4679-NIGHTLY 0.8.0-bin-20180408-962b4bf-NIGHTLY 0.8.0-bin-20180409-1f67c00-NIGHTLY 0.8.0-bin-20180410-2762567-NIGHTLY 0.8.0-bin-20180411-7b91742-NIGHTLY 0.8.0-bin-20180412-b2476a4-NIGHTLY 0.8.0-bin-20180413-fb95781-NIGHTLY 0.8.0-bin-20180414-bbcd512-NIGHTLY 0.8.0-bin-20180415-5dc50c4-NIGHTLY 0.8.0-bin-20180416-c28ea78-NIGHTLY 0.8.0-bin-20180418-553ead0-NIGHTLY 0.8.0-bin-20180419-4b2497e-NIGHTLY 0.8.0-bin-20180420-f2bb231-NIGHTLY 0.8.0-bin-20180423-8feb596-NIGHTLY 0.8.0-bin-20180424-e77604d-NIGHTLY 20180612193953