fix gradle

Julien LepillerTue Jun 05 22:46:02+0200 2018

update maven

Julien LepillerTue Jun 05 22:42:03+0200 2018

fix openjdk doc non determinism

Julien LepillerTue Jun 05 19:17:38+0200 2018

add openjdk9

Julien LepillerMon Jun 04 23:51:42+0200 2018

Remove pushed gdal and postgis.

Julien LepillerThu May 24 21:57:58+0200 2018

wip: kotlin dependencies

Julien LepillerTue May 15 22:42:41+0200 2018

wip: kotlin

Julien LepillerTue May 15 00:07:31+0200 2018

update offlate to a working version

Julien LepillerThu May 10 11:19:20+0200 2018

Reference gnu packages groovy correctly

Julien LepillerWed May 09 17:19:45+0200 2018

remove pushed groovy packages

Julien LepillerWed May 09 14:42:30+0200 2018

advance virtualbox

Julien LepillerFri May 04 18:58:02+0200 2018

Add python-enchant

Julien LepillerFri May 04 18:58:02+0200 2018

advance firefox

Julien LepillerFri May 04 18:58:02+0200 2018

add torque3d, update khanat

Julien LepillerFri May 04 18:58:02+0200 2018

typo

Julien LepillerFri May 04 18:58:02+0200 2018

update coq and compcert

Julien LepillerFri May 04 13:37:49+0200 2018

remove upstreamed packages

Julien LepillerFri May 04 11:03:09+0200 2018

Add frama-c

Julien LepillerMon Apr 23 11:15:29+0200 2018

Add veles

Julien LepillerMon Apr 23 11:15:29+0200 2018

Remove pushed packages

Julien LepillerWed Apr 18 11:09:37+0200 2018