Commit Graph

5 Commits

Author SHA1 Message Date
f2637d9b2e dev-ocaml/biniou: initial import
Change-Id: I64f50f3d4c9ba872c2301c4933376b4b5dc64e0a
Reviewed-on: https://galileo.mailstation.de/gerrit/7422
Reviewed-by: Jenkins <wk@mailstation.de>
Reviewed-by: Julian Ospald <hasufell@posteo.de>
2016-10-16 18:18:30 +02:00
2ead089c9c dev-ocaml/cppo: initial import
Change-Id: I7200c58e0475ca7b2ba747ed65a470ab89e0c1ff
Reviewed-on: https://galileo.mailstation.de/gerrit/7421
Reviewed-by: Jenkins <wk@mailstation.de>
Reviewed-by: Julian Ospald <hasufell@posteo.de>
2016-10-16 18:18:25 +02:00
4e93d61070 dev-ocaml/easy-format: initial import
Change-Id: Ic144d746ec5df4c3730f8090fa1fe171a8f0c5a1
Reviewed-on: https://galileo.mailstation.de/gerrit/7420
Reviewed-by: Jenkins <wk@mailstation.de>
Reviewed-by: Julian Ospald <hasufell@posteo.de>
2016-10-16 18:18:21 +02:00
ff8e868725 dev-ocaml/zarith: initial import of version 1.4.1
Change-Id: If1e38ba8fc9014ac48982ab1198ea87b0653ef26
Reviewed-on: https://galileo.mailstation.de/gerrit/7419
Reviewed-by: Jenkins <wk@mailstation.de>
Reviewed-by: Julian Ospald <hasufell@posteo.de>
2016-10-16 18:18:17 +02:00
8ff8bb4575 dev-ocaml/batteries: initial import of version 2.5.0
Change-Id: I9e09e4517a37edb6581c24239dcd242151d61074
Reviewed-on: https://galileo.mailstation.de/gerrit/7418
Reviewed-by: Jenkins <wk@mailstation.de>
Reviewed-by: Julian Ospald <hasufell@posteo.de>
2016-10-16 18:18:11 +02:00