Pietro 3351024e3a Remove trailing .install file

2018-01-16 23:10:33 +01:00

..

compare.ml

Jbuilder: split src/utils/ in multiple OPAM packages

2017-12-04 16:05:54 +01:00

compare.mli

Jbuilder: split src/utils/ in multiple OPAM packages

2017-12-04 16:05:54 +01:00

jbuild

OPAM: use the hex package

2018-01-15 15:05:07 +01:00

mBytes_buffer.ml

Data_encoding: optimize binary serialization

2017-12-14 18:10:50 +01:00

mBytes_buffer.mli

Data_encoding: optimize binary serialization

2017-12-14 18:10:50 +01:00

mBytes.ml

OPAM: use the hex package

2018-01-15 15:05:07 +01:00

mBytes.mli

OPAM: use the hex package

2018-01-15 15:05:07 +01:00

option.ml

Stdlib: add Option.try_with

2017-12-15 17:00:50 +01:00

option.mli

Stdlib: add Option.try_with

2017-12-15 17:00:50 +01:00

ring.ml

Jbuilder: split src/utils/ in multiple OPAM packages

2017-12-04 16:05:54 +01:00

ring.mli

Jbuilder: split src/utils/ in multiple OPAM packages

2017-12-04 16:05:54 +01:00

test-ocp-indent.sh

Jbuilder: split src/utils/ in multiple OPAM packages

2017-12-04 16:05:54 +01:00

tezos-stdlib.opam

OPAM: use the hex package

2018-01-15 15:05:07 +01:00

tzList.ml

Jbuilder: split src/utils/ in multiple OPAM packages

2017-12-04 16:05:54 +01:00

tzList.mli

Jbuilder: split src/utils/ in multiple OPAM packages

2017-12-04 16:05:54 +01:00

tzString.ml

TzString: add fold_left

2018-01-08 12:25:42 +01:00

tzString.mli

TzString: add fold_left

2018-01-08 12:25:42 +01:00

utils.ml

Jbuilder: split src/utils/ in multiple OPAM packages

2017-12-04 16:05:54 +01:00

utils.mli

Jbuilder: split src/utils/ in multiple OPAM packages

2017-12-04 16:05:54 +01:00