cafkafk/nixpkgs
cafkafk/nixpkgs
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2
nixpkgs/pkgs/development/compilers/fstar
History
Vincent Laporte 5637570f51 ocamlPackages: rename sedlex_2 into sedlex
2022-05-29 08:48:00 +02:00
..
default.nix ocamlPackages: rename sedlex_2 into sedlex 2022-05-29 08:48:00 +02:00