Fix building intellij-platform-util-2013

Julien LepillerSun May 19 20:49:52+0200 2019

Add coq-tlc.

LEPILLER JulienFri May 17 14:44:56+0200 2019

Use older intellij libraries for kotlin-0

Julien LepillerThu May 16 22:33:28+0200 2019

remove javacc

Julien LepillerThu May 16 19:19:18+0200 2019

Add older biber version.

LEPILLER JulienThu May 16 17:56:55+0200 2019

Improve kotlin recipe, still not working

LEPILLER JulienWed May 15 19:16:28+0200 2019

coq-8.9 is packaged and 8.8 disappeared, so package it instead of 8.9

LEPILLER JulienTue May 14 17:17:48+0200 2019

Fix coq-8.6 for latest ocaml

LEPILLER JulienTue May 14 15:38:57+0200 2019

Fix compcert

LEPILLER JulienMon May 06 15:35:33+0200 2019

Update josm dependencies

Julien LepillerFri May 03 12:23:59+0200 2019

Cleanup josm dependencies

Julien LepillerFri May 03 12:01:07+0200 2019

Remove java-json and use java-jsonp

Julien LepillerFri May 03 11:56:41+0200 2019

Update and unbundle josm

Julien LepillerThu May 02 20:04:16+0200 2019

Update ssl-config

Julien LepillerTue Apr 30 11:18:59+0200 2019

Add more kotlin@0 dependencies

Julien LepillerSat Apr 27 23:17:00+0200 2019

Add more kotlin@0 dependencies

Julien LepillerSat Apr 27 23:14:48+0200 2019

more kotlin@0 dependencies

Julien LepillerSat Apr 27 23:12:20+0200 2019

Toward a first kotlin version

Julien LepillerTue Apr 23 23:49:57+0200 2019

Remove merged poedit and dependency

Julien LepillerSat Apr 20 18:21:33+0200 2019

update fdroidserver git

Julien LepillerSat Apr 20 18:20:39+0200 2019