This website requires JavaScript.
Explore
Help
Sign In
dev
/
nixpkgs
Watch
1
Star
0
Fork
0
You've already forked nixpkgs
Code
Issues
Pull Requests
Actions
2
Packages
Projects
Releases
Wiki
Activity
ea677891fd
nixpkgs
/
pkgs
/
applications
/
science
/
logic
/
isabelle
History
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