Revision de5935228fb212f1d93275aa4928b6150c540a04 authored by Grégoire Henry on 06 December 2017, 18:52:00 UTC, committed by Grégoire on 08 December 2017, 01:50:03 UTC
All dependencies are now inlined in the various opam packages.
1 parent d8d54ce
| File | Mode | Size |
|---|---|---|
| compare.ml | -rw-r--r-- | 5.2 KB |
| compare.mli | -rw-r--r-- | 1.3 KB |
| jbuild | -rw-r--r-- | 362 bytes |
| mBytes.ml | -rw-r--r-- | 3.2 KB |
| mBytes.mli | -rw-r--r-- | 5.3 KB |
| option.ml | -rw-r--r-- | 1.0 KB |
| option.mli | -rw-r--r-- | 1.3 KB |
| ring.ml | -rw-r--r-- | 1.6 KB |
| ring.mli | -rw-r--r-- | 908 bytes |
| test-ocp-indent.sh | -rwxr-xr-x | 741 bytes |
| tezos-base.install | -rw-r--r-- | 1.4 KB |
| tezos-stdlib.opam | -rw-r--r-- | 494 bytes |
| tzList.ml | -rw-r--r-- | 3.9 KB |
| tzList.mli | -rw-r--r-- | 2.4 KB |
| tzString.ml | -rw-r--r-- | 2.2 KB |
| tzString.mli | -rw-r--r-- | 1.5 KB |
| utils.ml | -rw-r--r-- | 2.1 KB |
| utils.mli | -rw-r--r-- | 1.3 KB |
Computing file changes ...
