ch.epfl.scala spec 2.2.0-M2 2.2.0-M2 2.1.0-M4+46-8ef9d621-SNAPSHOT 2.1.0-M4+47-740cea74-SNAPSHOT 2.1.0-M4+48-d15e0604-SNAPSHOT 2.1.0-M4+49-8013de33-SNAPSHOT 2.1.0-M4+50-c75f8f17-SNAPSHOT 2.1.0-M4+51-c9c13061-SNAPSHOT 2.1.0-M4+52-47093043-SNAPSHOT 2.1.0-M4+53-5ce243ac-SNAPSHOT 2.1.0-M4+54-9bcbb751-SNAPSHOT 2.1.0-M4+56-8ee123f3-SNAPSHOT 2.1.0-M4+57-b0e6ffaa-SNAPSHOT 2.1.0-M4+58-381fef01-SNAPSHOT 2.1.0-M4+59-58061d81-SNAPSHOT 2.1.0-M4+60-44f8e53a-SNAPSHOT 2.1.0-M4+61-520cc046-SNAPSHOT 2.1.0-M4+62-9279a516-SNAPSHOT 2.1.0-M4+63-7f3f3812-SNAPSHOT 2.1.0-M4+64-af9e5e07-SNAPSHOT 2.1.0-M4+65-a0aec58a-SNAPSHOT 2.1.0-M5+1-5ff582dd-SNAPSHOT 2.1.0-M5+10-da6f5cb8-SNAPSHOT 2.1.0-M5+11-43002803-SNAPSHOT 2.1.0-M5+12-e942ab41-SNAPSHOT 2.1.0-M5+13-fdf8a271-SNAPSHOT 2.1.0-M5+14-e03a2813-SNAPSHOT 2.1.0-M5+15-0d0b44bd-SNAPSHOT 2.1.0-M5+16-81da4261-SNAPSHOT 2.1.0-M5+17-5633541e-SNAPSHOT 2.1.0-M5+18-79bd7233-SNAPSHOT 2.1.0-M5+19-b10386e4-SNAPSHOT 2.1.0-M5+2-52910a88-SNAPSHOT 2.1.0-M5+20-aac91143-SNAPSHOT 2.1.0-M5+21-92dedbd8-SNAPSHOT 2.1.0-M5+22-4e270aa4-SNAPSHOT 2.1.0-M5+23-2cdd1656-SNAPSHOT 2.1.0-M5+24-b23508b9-SNAPSHOT 2.1.0-M5+25-a27a2d83-SNAPSHOT 2.1.0-M5+26-525029a1-SNAPSHOT 2.1.0-M5+27-a2e5a1ad-SNAPSHOT 2.1.0-M5+28-b789a737-SNAPSHOT 2.1.0-M5+29-84cd2b19-SNAPSHOT 2.1.0-M5+3-ec799c10-SNAPSHOT 2.1.0-M5+30-80daa167-SNAPSHOT 2.1.0-M5+31-f65a0f07-SNAPSHOT 2.1.0-M5+32-01def110-SNAPSHOT 2.1.0-M5+33-2d3ed077-SNAPSHOT 2.1.0-M5+34-5d7ffa75-SNAPSHOT 2.1.0-M5+4-9635462e-SNAPSHOT 2.1.0-M5+5-5deb9f0c-SNAPSHOT 2.1.0-M5+6-858d7024-SNAPSHOT 2.1.0-M5+7-26a570f3-SNAPSHOT 2.1.0-M5+8-3b6f60d7-SNAPSHOT 2.1.0-M5+9-9864f507-SNAPSHOT 2.1.0-M6+1-a0589011-SNAPSHOT 2.1.0-M6+2-11962a8a-SNAPSHOT 2.1.0-M6+3-18cf5817-SNAPSHOT 2.1.0-M6+4-4a45a7f8-SNAPSHOT 2.1.0-M6+5-6ad97e3a-SNAPSHOT 2.1.0-M6+6-356dc16b-SNAPSHOT 2.1.0-M6-alpha+1-06962c1a-SNAPSHOT 2.1.0-M6.alpha+1-fc56a91e-SNAPSHOT 2.1.0-M6.alpha+10-ed1589c8-SNAPSHOT 2.1.0-M6.alpha+11-cc4d2c60-SNAPSHOT 2.1.0-M6.alpha+12-ab2491d0-SNAPSHOT 2.1.0-M6.alpha+13-4b4e9575-SNAPSHOT 2.1.0-M6.alpha+14-2ae07695-SNAPSHOT 2.1.0-M6.alpha+15-816e2e0b-SNAPSHOT 2.1.0-M6.alpha+16-faf59d62-SNAPSHOT 2.1.0-M6.alpha+17-6d8b1700-SNAPSHOT 2.1.0-M6.alpha+18-9f1b6a63-SNAPSHOT 2.1.0-M6.alpha+19-bf347ce2-SNAPSHOT 2.1.0-M6.alpha+2-6ae9f89e-SNAPSHOT 2.1.0-M6.alpha+20-394be84c-SNAPSHOT 2.1.0-M6.alpha+3-6fee78f0-SNAPSHOT 2.1.0-M6.alpha+4-09fda676-SNAPSHOT 2.1.0-M6.alpha+5-5af51673-SNAPSHOT 2.1.0-M6.alpha+6-3af55b93-SNAPSHOT 2.1.0-M6.alpha+7-c4a3698e-SNAPSHOT 2.1.0-M6.alpha+8-b4d2d934-SNAPSHOT 2.1.0-M6.alpha+9-d21ff53c-SNAPSHOT 2.2.0-M1+1-94f69ec7-SNAPSHOT 2.2.0-M1+11-2a048555-SNAPSHOT 2.2.0-M1+13-fd2e4300-SNAPSHOT 2.2.0-M1+15-5badfdd2-SNAPSHOT 2.2.0-M1+2-0fd452d3-SNAPSHOT 2.2.0-M1+3-c62be0c7-SNAPSHOT 2.2.0-M1+4-66154e5b-SNAPSHOT 2.2.0-M1+5-5ac76d4c-SNAPSHOT 2.2.0-M1+6-fedeba89-SNAPSHOT 2.2.0-M1+7-eac60382-SNAPSHOT 2.2.0-M1.alpha+1-80fdfcec-SNAPSHOT 2.2.0-M1.alpha+2-1012f947-SNAPSHOT 2.2.0-M1.alpha+3-88566c30-SNAPSHOT 2.2.0-M1.alpha+4-de1d3430-SNAPSHOT 2.2.0-M1.alpha+5-8cf41d72-SNAPSHOT 2.2.0-M1.alpha+6-321a30b6-SNAPSHOT 2.2.0-M1.alpha+7-8ddd7e10-SNAPSHOT 2.2.0-M1.alpha+8-37d612e4-SNAPSHOT 2.1.0-M5 2.1.0-M6-alpha 2.1.0-M6 2.1.0-M7 2.1.0 2.1.1 2.2.0-M1.alpha 2.2.0-M1 2.2.0-M2 20240929121159