git.iko.soy
/
stackage
readme
files
commits
refs
on
master
help
sign in
add cryptol
It's finally on Hackage!
commit
1a66216447bfe1df09ab24f792c376eb8e302e98
author
Adam C. Foltzer
<acfoltzer@gmail.com>
date
Tue 24 Mar 2015, 12:13
(12 years ago)
parent
296192f
1 file changed
+1
compare with master
unified
split
build-constraints.yaml
+1
build-constraints.yaml
+1
@@ -744,6 +744,7 @@ packages:
744
744
-
waitra
745
745
746
746
"Adam C. Foltzer acfoltzer@galois.com @acfoltzer"
:
747
+
-
cryptol
747
748
-
gitrev
748
749
749
750
"Luke Taylor tekul.hs@gmail.com @tekul"
:
keys
esc to close
j k
move down, up
enter
open
esc
back, or up a level
1 2 3 4
readme, files, commits, refs
/
filter
y
copy the clone command
c
compare the chosen commit with another (or shift-click both)
?
show or hide this list