R. Ryantm
7308198ba3
fstar: 2023.09.03 -> 2024.01.13
2024-01-30 05:41:02 +01:00
Paul-Nicolas Madelaine
032d45b46c
fstar: build with dune ( #275924 )
2023-12-27 22:20:31 +01:00
Mario Rodas
20b2d94235
fstar: 2023.04.25 -> 2023.09.03
...
Diff: https://github.com/FStarLang/FStar/compare/v2023.04.25...v2023.09.03
Changelog: https://github.com/FStarLang/FStar/releases/tag/v2023.09.03
2023-10-30 04:20:00 +00:00
Mario Rodas
9892d71dc6
fstar: 2023.02.01 -> 2023.04.25
...
Diff: https://github.com/FStarLang/FStar/compare/v2023.02.01...v2023.04.25
Changelog: https://github.com/FStarLang/FStar/raw/v2023.04.25/CHANGES.md
2023-08-08 04:20:00 +00:00
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 feef017564
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
