Name	Size	Permission	Options
compiler-stdlib	DIR	drwxrwxr-x	Action Delete Chmod Rename
generate	DIR	drwxrwxr-x	Action Delete Chmod Rename
hash_types	DIR	drwxrwxr-x	Action Delete Chmod Rename
lint	DIR	drwxrwxr-x	Action Delete Chmod Rename
md5	DIR	drwxrwxr-x	Action Delete Chmod Rename
shadow-stdlib	DIR	drwxrwxr-x	Action Delete Chmod Rename
src	DIR	drwxrwxr-x	Action Delete Chmod Rename
test	DIR	drwxrwxr-x	Action Delete Chmod Rename
.gitignore	0.032 KB	-rw-rw-r--	action delete edit rename chmod
CHANGES.md	9.854 KB	-rw-rw-r--	action delete edit rename chmod
CONTRIBUTING.md	2.258 KB	-rw-rw-r--	action delete edit rename chmod
LICENSE.md	1.091 KB	-rw-rw-r--	action delete edit rename chmod
Makefile	0.253 KB	-rw-rw-r--	action delete edit rename chmod
README.org	6.26 KB	-rw-rw-r--	action delete edit rename chmod
ROADMAP.md	4.307 KB	-rw-rw-r--	action delete edit rename chmod
base.opam	1.079 KB	-rw-rw-r--	action delete edit rename chmod
dune-project	0.015 KB	-rw-rw-r--	action delete edit rename chmod