1
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs synced 2024-10-19 03:47:13 -04:00
nixpkgs/pkgs
Vladimír Čunát 7d7407f75f Merge pull request #408 from maggesi/hol_light_updates
hol_light: update to rev 157
2013-03-28 05:04:17 -07:00
..
applications Merge pull request #408 from maggesi/hol_light_updates 2013-03-28 05:04:17 -07:00
build-support
data
desktops
development Merge: use Python 3.3 as the default version of Python3 2013-03-28 01:13:37 +01:00
games
lib
misc
os-specific
servers
shells
stdenv
test
tools
top-level Merge: use Python 3.3 as the default version of Python3 2013-03-28 01:13:37 +01:00