Commits

Commits on Aug 5, 2015

reduce version to non-stable
avsm
committedAug 5, 2015
internal tidy up
avsm
committedAug 5, 2015

Commits on Feb 18, 2015

sync distfiles
avsm
committedFeb 18, 2015
add a lambda term progress bar module
avsm
committedFeb 18, 2015
specify an output directory for fetching
avsm
committedFeb 18, 2015
Split up the mirror into two commands: one that shows the urls and the other that fetches them
avsm
committedFeb 18, 2015

Commits on Feb 15, 2015

+CHANGES.md
avsm
committedFeb 15, 2015
tweak opam file with tags
avsm
committedFeb 15, 2015
+README
avsm
committedFeb 15, 2015
add opam file
avsm
committedFeb 15, 2015
update gitignore
avsm
committedFeb 15, 2015
Change into the target directory
avsm
committedFeb 15, 2015

Commits on Jan 20, 2015

verify checksum after downloading
avsm
committedJan 20, 2015

Commits on Jan 17, 2015

add oasis skeleton
avsm
committedJan 17, 2015
add opam mirror command
avsm
committedJan 17, 2015