Remove additional rustc

Julien LepillerTue Dec 12 22:48:40+0100 2017

update josm and start a kotlin package

LEPILLER JulienTue Dec 12 11:48:59+0100 2017

Update morji

LEPILLER JulienThu Dec 07 11:57:34+0100 2017

trying to build recent rust

LEPILLER JulienWed Nov 22 13:25:46+0100 2017

Update python.scm after split and update ocaml to 4.07 and its deps

LEPILLER JulienWed Nov 22 13:25:34+0100 2017

license fix

Julien LepillerSun Nov 19 15:16:06+0100 2017

rename inputs to there package name

Julien LepillerSun Nov 19 12:47:20+0100 2017

Remove pushed packages

Julien LepillerSat Nov 18 13:59:23+0100 2017

Update ocaml and ocaml packages

Julien LepillerSun Nov 12 00:11:58+0100 2017

Remove ocaml packages added independently

LEPILLER JulienMon Nov 06 12:20:56+0100 2017

add dependency on web.scm, because jetty and tomcat were moved there

Julien LepillerFri Nov 03 11:45:00+0100 2017

Remove pushed java packages

Julien LepillerFri Nov 03 11:41:47+0100 2017

Update josm

Julien LepillerMon Oct 23 19:11:13+0200 2017

Use ocaml-fix in updated coq, compcert and more

LEPILLER JulienMon Oct 23 15:54:19+0200 2017

Add missing import

LEPILLER JulienMon Oct 23 09:29:42+0200 2017

some java improvements

LEPILLER JulienMon Oct 23 09:29:32+0200 2017

Remove pushed coq update

LEPILLER JulienMon Oct 23 09:28:54+0200 2017

Add jekyll and dependencies

Julien LepillerSat Oct 21 23:27:00+0200 2017

update tomcat to 8.5.23

LEPILLER JulienThu Oct 12 14:31:22+0200 2017

remove slf4j-simple because it was added independently

LEPILLER JulienThu Oct 12 14:16:35+0200 2017