nixpkgs/pkgs/applications/science/logic/isabelle
Rick van Schijndel c100196b08
Merge pull request #176823 from risicle/ris-native-source-provenance-applications
treewide/applications: add `sourceType` `binaryNativeCode` for many packages
2022-06-23 20:55:09 +02:00
..
components isabelle: Add isabelle-linter as optional component 2022-03-23 14:47:21 +01:00
default.nix Merge pull request #176823 from risicle/ris-native-source-provenance-applications 2022-06-23 20:55:09 +02:00