Updates

Julien LepillerSat Oct 13 14:38:31+0200 2018

Update offlate

Julien LepillerSat Oct 13 14:38:31+0200 2018

Add coq-8.6 and opam2

Julien LepillerFri Oct 05 17:36:08+0200 2018

Update python-neovim

Julien LepillerFri Oct 05 17:36:08+0200 2018

update tegola

Julien LepillerSun Sep 23 18:46:01+0200 2018

Add tippecanoe

Julien LepillerSun Sep 23 17:12:18+0200 2018

Update description

Julien LepillerWed Sep 19 19:17:47+0200 2018

Add ocaml 4.07

Julien LepillerWed Sep 19 11:58:25+0200 2018

More java packages for the maven-build-system

Julien LepillerSat Sep 15 23:26:31+0200 2018

Improve java packages

Julien LepillerSat Sep 15 13:59:07+0200 2018

work on java packages

Julien LepillerSat Sep 15 00:22:20+0200 2018

build jamonapi-jamon

Julien LepillerThu Sep 13 20:28:45+0200 2018

begin with aws

Julien LepillerThu Sep 13 00:12:06+0200 2018

progress on hazelcast

Julien LepillerWed Sep 12 23:57:35+0200 2018

Improve compcert and add ppsimpl

Julien LepillerThu Sep 06 17:26:25+0200 2018

Update README.md

Julien LepillerMon Sep 03 11:10:48+0200 2018

Update java-fop (but broken now)

Julien LepillerSun Sep 02 19:07:07+0200 2018

Remove pushed ruby packages

Julien LepillerSun Sep 02 19:06:36+0200 2018

Change josm hash

Julien LepillerSat Sep 01 17:53:32+0200 2018

work on scala and sbt, not complete

Julien LepillerSat Sep 01 15:20:19+0200 2018