b12f/nixpkgs
1
0
Fork 0
Code Issues Pull requests Packages Projects Releases Wiki Activity
471567 commits 2 branches 0 tags 3.3 GiB
Commit graph

33 commits

Author SHA1 Message Date
Ricardo M. Correia 113cdbd29d fstar: use proper z3 version and build .checked files 2023-02-07 14:47:17 +00:00
Vincent Laporte ba7820c8da
fstar: 2022.11.19 → 2023.02.01 2023-02-03 07:20:40 +01:00
Lucas Franceschino 1018df456c fstar: remove unnecessary store path & build artifacts 2022-12-20 11:49:08 +01:00
Lucas Franceschino 762426b0dc fstar: 2022.01.15 -> 2022.11.19 2022-12-20 11:32:57 +01:00
Lucas Franceschino 5c3b11677a fstar: add update script 2022-12-20 11:32:57 +01:00
Vincent Laporte 5637570f51 ocamlPackages: rename sedlex_2 into sedlex 2022-05-29 08:48:00 +02:00
Malo Bourgon 16e15fa68f treewide: add meta.mainProgram to many packages 2022-05-04 18:08:19 -07:00
Ulrik Strid a13cdfe520 ocamlPackages tree-wide: Move buildInputs that should be nativeBuildInputs 
To keep this for the future we also strictDeps where possible, including for janePackages, topkg, oasis and ocamlbuild.
This makes some closures significantly smaller and makes cross compilation easier
 2022-02-24 14:39:27 +01:00
R. Ryantm 00844298cb fstar: 2021.12.25 -> 2022.01.15 2022-01-24 10:29:43 +00:00
Paul-Nicolas Madelaine 1dd94c52b8 fstar: 2021.11.27 -> 2021.12.25 2021-12-30 15:38:47 +01:00
Mario Rodas ab8482e193 fstar: 2021.10.16 -> 2021.11.27 
https://github.com/FStarLang/FStar/releases/tag/v2021.11.27
 2021-11-27 04:20:00 +00:00
Paul-Nicolas Madelaine 862c6390f9 fstar: 2021.09.30 -> 2021.10.16 2021-10-20 17:46:41 +02:00
Paul-Nicolas Madelaine f048b1401f fstar: 2021.09.11 -> 2021.09.30 2021-10-05 13:44:30 +02:00
Mario Rodas 12a73316bb fstar: 2021.08.27 -> 2021.09.11 2021-09-11 04:20:00 +00:00
Mario Rodas 7458f66f63
fstar: 2021.07.31 -> 2021.08.27 (#136215) 2021-09-01 07:31:20 -05:00
Paul-Nicolas Madelaine 6e758d0e81 fstar: 0.9.6.0 -> 2021.07.31 2021-08-26 13:36:29 +02:00
Vincent Laporte 5ca9831cb1 ocamlPackages.menhir: 20190626 → 20210419 
ocamlPackages.menhirLib: init at 20210419
ocamlPackages.menhirSdk: init at 20210419
 2021-06-05 13:38:01 +02:00
Ben Siraphob acc5f7b18a pkgs/development/compilers: stdenv.lib -> lib 2021-01-23 08:57:37 +07:00
Mario Rodas ac885e1b87
fstar: install completions 2020-04-29 04:20:00 -05:00
Michael Reilly 84cf00f980
treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
Merijn Broeren 133103d709
treewide: replace make/build/configure/patchFlags with nix lists 2019-12-30 12:58:11 +01:00
volth 46420bbaa3 treewide: name -> pname (easy cases) (#66585) 
treewide replacement of

stdenv.mkDerivation rec {
  name = "*-${version}";
  version = "*";

to pname
 2019-08-15 13:41:18 +01:00
Gabriel Ebner 8033f52a12 fstar: 0.9.5.0 -> 0.9.6.0 2018-05-25 10:28:37 +02:00
Vincent Laporte 26798bd6e0
ocamlPackages.batteries: 2.7.0 -> 2.8.0 
Also renames the attribute from ocaml_batteries to batteries.
 2017-11-14 17:53:53 +00:00
Gabriel Ebner e10bb692c4 fstar: 0.9.4.0 -> 0.9.5.0 
This builds fstar from the included ocaml sources instead of
bootstrapping from fsharp.
 2017-10-02 12:21:47 +02:00
Silvan Mosberger f5fa5fa4d6 pkgs: refactor needless quoting of homepage meta attribute (#27809) 
* pkgs: refactor needless quoting of homepage meta attribute

A lot of packages are needlessly quoting the homepage meta attribute
(about 1400, 22%), this commit refactors all of those instances.

* pkgs: Fixing some links that were wrongfully unquoted in the previous
commit

* Fixed some instances
 2017-08-01 22:03:30 +02:00
Vincent Laporte 218c486c1c fstar: fix build on darwin 2017-05-30 17:08:47 +00:00
Gabriel Ebner 8da31b0e2e fstar: 0.9.2.0 -> 0.9.4.0 2017-05-10 13:54:21 +02:00
Domen Kožar 01895ff5ea fstar: disable tests https://github.com/FStarLang/FStar/issues/676 
(cherry picked from commit feef017564c292e088de69e97db4071bf08c2853)
Signed-off-by: Domen Kožar <domen@dev.si>
 2016-09-13 16:13:05 +02:00
Alexander Ried 3beacc4dbe fstar: remove workaround (#18331) 
As the comment indicates this was a workaround that has since been fixed
upstream.
 2016-09-06 00:09:11 +02:00
Vincent Laporte cb3d2d0526 fstar: fix build on Darwin 2016-06-30 16:57:32 +01:00
Joachim Fasting f82a46cf58 fstar: 2016-01-12 -> 0.9.2.0 
FStar has been broken for a while, due to its regression test failing.
Bump to the latest release, which is newer than the previous rev.
 2016-03-13 09:41:24 +01:00
Ricardo M. Correia 097c82f6c5 fstar: init at 2016-01-12 2016-01-19 01:46:30 +01:00