about summary refs log tree commit diff
path: root/pkgs/development/compilers/fstar
AgeCommit message (Expand)AuthorFilesLines
2020-04-29fstar: install completionsMario Rodas1-2/+5
2020-04-10treewide: Per RFC45, remove all unquoted URLsMichael Reilly1-1/+1
2019-12-30treewide: replace make/build/configure/patchFlags with nix listsMerijn Broeren1-2/+2
2019-08-15treewide: name -> pname (easy cases) (#66585)volth1-1/+1
2018-05-25fstar: 0.9.5.0 -> 0.9.6.0Gabriel Ebner1-3/+6
2017-11-14ocamlPackages.batteries: 2.7.0 -> 2.8.0Vincent Laporte1-1/+1
2017-10-02fstar: 0.9.4.0 -> 0.9.5.0Gabriel Ebner1-56/+9
2017-08-01pkgs: refactor needless quoting of homepage meta attribute (#27809)Silvan Mosberger1-1/+1
2017-05-30fstar: fix build on darwinVincent Laporte1-1/+2
2017-05-10fstar: 0.9.2.0 -> 0.9.4.0Gabriel Ebner1-5/+16
2016-09-13fstar: disable tests https://github.com/FStarLang/FStar/issues/676Domen Kožar1-1/+2
2016-09-06fstar: remove workaround (#18331)Alexander Ried1-4/+0
2016-06-30fstar: fix build on DarwinVincent Laporte1-2/+2
2016-03-13fstar: 2016-01-12 -> 0.9.2.0Joachim Fasting1-4/+6
2016-01-19fstar: init at 2016-01-12Ricardo M. Correia1-0/+78
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-08-23 02:11:34 +0000