nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-12-14 01:33:10 +00:00
Code Issues Packages Projects Releases Wiki Activity
d2ee5d9dde
nixpkgs/pkgs/development/compilers/fstar
History
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
..
default.nix fstar: 2023.02.01 -> 2023.04.25 2023-08-08 04:20:00 +00:00