summary refs log tree commit diff
path: root/pkgs/development/compilers/fstar/default.nix
Commit message (Expand)AuthorAge
* fstar: 2023.04.25 -> 2023.09.03Mario Rodas2023-10-30
* fstar: 2023.02.01 -> 2023.04.25Mario Rodas2023-08-08
* fstar: use proper z3 version and build .checked filesRicardo M. Correia2023-02-07
* fstar: 2022.11.19 → 2023.02.01Vincent Laporte2023-02-03
* fstar: remove unnecessary store path & build artifactsLucas Franceschino2022-12-20
* fstar: 2022.01.15 -> 2022.11.19Lucas Franceschino2022-12-20
* fstar: add update scriptLucas Franceschino2022-12-20
* ocamlPackages: rename sedlex_2 into sedlexVincent Laporte2022-05-29
* treewide: add meta.mainProgram to many packagesMalo Bourgon2022-05-04
* ocamlPackages tree-wide: Move buildInputs that should be nativeBuildInputsUlrik Strid2022-02-24
* fstar: 2021.12.25 -> 2022.01.15R. Ryantm2022-01-24
* fstar: 2021.11.27 -> 2021.12.25Paul-Nicolas Madelaine2021-12-30
* fstar: 2021.10.16 -> 2021.11.27Mario Rodas2021-11-27
* fstar: 2021.09.30 -> 2021.10.16Paul-Nicolas Madelaine2021-10-20
* fstar: 2021.09.11 -> 2021.09.30Paul-Nicolas Madelaine2021-10-05
* fstar: 2021.08.27 -> 2021.09.11Mario Rodas2021-09-11
* fstar: 2021.07.31 -> 2021.08.27 (#136215)Mario Rodas2021-09-01
* fstar: 0.9.6.0 -> 2021.07.31Paul-Nicolas Madelaine2021-08-26
* ocamlPackages.menhir: 20190626 → 20210419Vincent Laporte2021-06-05
* pkgs/development/compilers: stdenv.lib -> libBen Siraphob2021-01-23
* fstar: install completionsMario Rodas2020-04-29
* treewide: Per RFC45, remove all unquoted URLsMichael Reilly2020-04-10
* treewide: replace make/build/configure/patchFlags with nix listsMerijn Broeren2019-12-30
* treewide: name -> pname (easy cases) (#66585)volth2019-08-15
* fstar: 0.9.5.0 -> 0.9.6.0Gabriel Ebner2018-05-25
* ocamlPackages.batteries: 2.7.0 -> 2.8.0Vincent Laporte2017-11-14
* fstar: 0.9.4.0 -> 0.9.5.0Gabriel Ebner2017-10-02
* pkgs: refactor needless quoting of homepage meta attribute (#27809)Silvan Mosberger2017-08-01
* fstar: fix build on darwinVincent Laporte2017-05-30
* fstar: 0.9.2.0 -> 0.9.4.0Gabriel Ebner2017-05-10
* fstar: disable tests https://github.com/FStarLang/FStar/issues/676Domen Kožar2016-09-13
* fstar: remove workaround (#18331)Alexander Ried2016-09-06
* fstar: fix build on DarwinVincent Laporte2016-06-30
* fstar: 2016-01-12 -> 0.9.2.0Joachim Fasting2016-03-13
* fstar: init at 2016-01-12Ricardo M. Correia2016-01-19
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-06-10 00:20:26 +0000