*** Wartungsfenster jeden ersten Mittwoch vormittag im Monat ***

v0.4.2
Geibinger, Tobias's avatar
Geibinger, Tobias
@tobias.geibinger
14c5f7c0 · updated clingo dep to 5.8.2 ·
Release: v0.4.2 
updated clingo dependency to 5.8.2

[ 29.Sep 14h : 5,607 users | 1,431 groups | 8,924 projects ]