nixpkgs
Upgrade HOL Light (which automatically fix a compilation problem).
#216

Merged

Upgrade HOL Light (which automatically fix a compilation problem). #216

maggesi merged 0 commits into NixOS:master from maggesi:master

maggesi

maggesi

maggesi merged faf821e5 into master 13 years ago

Login to write a write a comment.

Login via GitHub

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Milestone

No milestone