| Age | Commit message (Expand) | Author | Files | Lines |
|---|---|---|---|---|
| 2023-12-10 | isabelle-linter: 1.2.1 -> 2023-1.0.0 | Jan van Brügge | 1 | -3/+3 |
| 2023-05-17 | isabelle-components.isabelle-linter: add platforms | Weijia Wang | 1 | -0/+1 |
| 2023-05-17 | isabelle-linter: unstable-2022-09-05 -> 1.2.1 | Andreas Vollert | 1 | -3/+3 |
| 2022-10-31 | isabelle-linter: 2021-1 -> 2022-09-05 | Jan van Brügge | 2 | -40/+16 |
| 2022-03-23 | isabelle: Add isabelle-linter as optional component | Jan van Brügge | 3 | -0/+63 |
 |
index : mirror/nixpkgs | |
| Nix packages collection |
| about summary refs log tree commit diff |