Add mecab and wp2txt

Julien LepillerFri Apr 19 15:39:25+0200 2019

Update josm.

Julien LepillerSat Apr 13 11:29:09+0200 2019

Add tex and ocaml stuff

Julien LepillerFri Apr 12 18:17:34+0200 2019

nspr moved to (gnu packages nss)

Julien LepillerFri Apr 05 11:10:35+0200 2019

Add fdroid server git

Julien LepillerTue Mar 12 18:38:14+0100 2019

Fix imports

Julien LepillerTue Mar 12 18:38:01+0100 2019

Add unrar

Julien LepillerTue Mar 12 17:33:17+0100 2019

Add weblate dependencies

Julien LepillerTue Mar 12 17:32:41+0100 2019

New coq

Julien LepillerTue Mar 12 17:32:41+0100 2019

Add actor-framework

Julien LepillerTue Mar 12 17:32:41+0100 2019

Update josm

Julien LepillerSun Feb 10 12:04:44+0100 2019

Add maven-plugin-plugin

Julien LepillerSat Jan 26 11:23:59+0100 2019

Add forgotten files

Julien LepillerWed Jan 23 21:32:41+0100 2019

more dependencies

Julien LepillerSun Jan 20 22:59:03+0100 2019

Finish sbt, but need to recreate contraband

Julien LepillerThu Jan 17 20:43:38+0100 2019

More sbt dependencies

Julien LepillerThu Jan 17 00:04:01+0100 2019

More packages toward sbt

Julien LepillerSun Jan 13 23:02:22+0100 2019

more sbt dependencies

Julien LepillerSat Jan 12 23:13:31+0100 2019

Add sbt-related packages

Julien LepillerSat Jan 12 00:00:39+0100 2019

Add gnu/package/coq.scm

Julien LepillerSat Jan 12 00:00:22+0100 2019