index
:
kookienomicon
hyperion-main
k-office/init
main
master
tmp
My personal project and infrastructure archive
Katharina Fey
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
pkgs
/
development
/
compilers
/
fstar
(
follow
)
Commit message (
Expand
)
Author
Age
Files
Lines
*
fstar: install completions
Mario Rodas
2020-04-29
1
-2
/
+5
*
treewide: Per RFC45, remove all unquoted URLs
Michael Reilly
2020-04-10
1
-1
/
+1
*
treewide: replace make/build/configure/patchFlags with nix lists
Merijn Broeren
2019-12-30
1
-2
/
+2
*
treewide: name -> pname (easy cases) (#66585)
volth
2019-08-15
1
-1
/
+1
*
fstar: 0.9.5.0 -> 0.9.6.0
Gabriel Ebner
2018-05-25
1
-3
/
+6
*
ocamlPackages.batteries: 2.7.0 -> 2.8.0
Vincent Laporte
2017-11-14
1
-1
/
+1
*
fstar: 0.9.4.0 -> 0.9.5.0
Gabriel Ebner
2017-10-02
1
-56
/
+9
*
pkgs: refactor needless quoting of homepage meta attribute (#27809)
Silvan Mosberger
2017-08-01
1
-1
/
+1
*
fstar: fix build on darwin
Vincent Laporte
2017-05-30
1
-1
/
+2
*
fstar: 0.9.2.0 -> 0.9.4.0
Gabriel Ebner
2017-05-10
1
-5
/
+16
*
fstar: disable tests https://github.com/FStarLang/FStar/issues/676
Domen Kožar
2016-09-13
1
-1
/
+2
*
fstar: remove workaround (#18331)
Alexander Ried
2016-09-06
1
-4
/
+0
*
fstar: fix build on Darwin
Vincent Laporte
2016-06-30
1
-2
/
+2
*
fstar: 2016-01-12 -> 0.9.2.0
Joachim Fasting
2016-03-13
1
-4
/
+6
*
fstar: init at 2016-01-12
Ricardo M. Correia
2016-01-19
1
-0
/
+78