Add transmon and stringslib
Julien LepillerSat Feb 24 18:47:05+0100 2018
680cd8c
Update josm
Julien LepillerSat Feb 24 18:46:55+0100 2018
f4215fe
Add dependency modules
Julien LepillerThu Feb 15 23:18:14+0100 2018
2bbb3c7
More deps for firefox.
Julien LepillerThu Feb 15 23:14:14+0100 2018
4a5e862
try to add moses
8beaf04
move java-plexus-component-metadata
9248349
fix import
91504a3
add bazel (not building)
Julien LepillerMon Feb 12 17:55:20+0100 2018
8908354
Remove unused java patch
Julien LepillerMon Feb 12 10:17:56+0100 2018
7236104
Remove unused patches
Julien LepillerSat Feb 10 19:19:14+0100 2018
ea5caf9
Remove upstreamed patches
Julien LepillerSat Feb 10 19:17:55+0100 2018
97bfecc
Remove upstreamed packages
Julien LepillerSat Feb 10 19:15:26+0100 2018
4702ee6
add mercury
Julien LepillerThu Feb 01 18:53:56+0100 2018
97b3bb2
Update smt.scm
Julien LepillerSat Jan 27 13:49:51+0100 2018
f2bd4bf
Add poedit
Julien LepillerSat Jan 27 13:46:30+0100 2018
5113783
update binary.scm
Julien LepillerSat Jan 27 13:46:20+0100 2018
8d679b5
remove boost-fix and references
Julien LepillerSat Jan 27 13:46:09+0100 2018
64b2783
More gradle packages
Julien LepillerSat Jan 27 12:24:08+0100 2018
91e346e
Try update firefox
ca945b4
Update python package
0f04be7