nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2025-01-28 15:54:32 +00:00
Code Issues Packages Projects Releases Wiki Activity
9d52d8789e
nixpkgs/pkgs/applications/science/logic/isabelle
History
Jan van Brügge 3e90293669 isabelle-linter: 1.2.1 -> 2023-1.0.0
2023-12-10 02:27:06 +01:00
..
components isabelle-linter: 1.2.1 -> 2023-1.0.0 2023-12-10 02:27:06 +01:00
default.nix isabelle: 2022 -> 2023 2023-10-06 21:59:49 +01:00