nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2025-01-26 14:53:52 +00:00
Code Issues Packages Projects Releases Wiki Activity
516,504 Commits 205 Branches 125 Tags 6.7 GiB
1534b6768e
Commit Graph

4 Commits

Author SHA1 Message Date
Weijia Wang
55e5de416f isabelle-components.isabelle-linter: add platforms 2023-05-17 23:01:48 +03:00
Andreas Vollert
44110aeb11 isabelle-linter: unstable-2022-09-05 -> 1.2.1 2023-05-17 17:42:07 +02:00
Jan van Brügge
fa28ed4858
isabelle-linter: 2021-1 -> 2022-09-05 2022-10-31 20:06:03 +00:00
Jan van Brügge
0391279c24
isabelle: Add isabelle-linter as optional component 2022-03-23 14:47:21 +01:00