This website requires JavaScript.
Explore
Help
Register
Sign In
alioth
/
nixpkgs
Watch
3
Star
0
Fork
You've already forked nixpkgs
0
forked from
mirrors/nixpkgs
Code
Releases
Activity
Nix Packages collection
20997
commits
217
branches
116
tags
4
GiB
Nix
96.3%
Shell
1.6%
Python
1.1%
Perl
0.3%
C
0.2%
Other
0.1%
286d068b37
Go to file
HTTPS
Download ZIP
Download TAR.GZ
Download BUNDLE
Open with VS Code
Open with VSCodium
Open with Intellij IDEA
Cite this repository
APA
BibTeX
Cancel
Marco Maggesi
286d068b37
Upgrade Isabelle proof assistant to version 2012
2012-09-04 14:34:31 +02:00
doc
Fix duplicate ID
2012-06-25 11:24:05 -04:00
maintainers
svn path=/nixpkgs/trunk/; revision=32961
2012-03-09 17:53:04 +00:00
pkgs
Upgrade Isabelle proof assistant to version 2012
2012-09-04 14:34:31 +02:00
.gitignore
add `.gitignore'
2012-07-07 13:56:29 +02:00
COPYING
default.nix
* For convenience, provide a top-level Nix expression that simply
2007-04-26 14:32:57 +00:00
VERSION
* Bump version number.
2012-06-04 03:53:25 +00:00