nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2025-01-29 08:14:19 +00:00
Code Issues Packages Projects Releases Wiki Activity
509eb6d0d5
nixpkgs/pkgs/by-name/is/isabelle
History
Austin Horstman ad347ac376
isabelle: fix darwin build (#348092)
2024-12-12 22:44:38 -06:00
..
components treewide: format all inactive Nix files 2024-12-10 20:26:33 +01:00
package.nix