ch.epfl.lamp tasty-core_0.21 0.21.0-bin-20191217-fa9a48e-NIGHTLY 0.21.0-bin-20191217-fa9a48e-NIGHTLY 0.21.0-RC1 0.21.0 0.21.0-bin-20191202-ccb7b13-NIGHTLY 0.21.0-bin-20191203-c900e88-NIGHTLY 0.21.0-bin-20191204-5a695a5-NIGHTLY 0.21.0-bin-20191205-0a33ad3-NIGHTLY 0.21.0-bin-20191206-d3a2d61-NIGHTLY 0.21.0-bin-20191208-122d759-NIGHTLY 0.21.0-bin-20191209-0e761ea-NIGHTLY 0.21.0-bin-20191211-9bad8bc-NIGHTLY 0.21.0-bin-20191211-731ee3c-NIGHTLY 0.21.0-bin-20191212-debe978-NIGHTLY 0.21.0-bin-20191213-3130729-NIGHTLY 0.21.0-bin-20191215-2d2d3c0-NIGHTLY 0.21.0-bin-20191216-2828fcf-NIGHTLY 0.21.0-bin-20191217-fa9a48e-NIGHTLY 20200203144124