This website requires JavaScript.
Explore
Help
Register
Sign in
mdebray
/
tvl-depot
Watch
1
Star
0
Fork
You've already forked tvl-depot
0
Code
Issues
Pull requests
Projects
Releases
Packages
Wiki
Activity
Actions
1531
commits
5
branches
0
tags
172
MiB
27bb0ac7d2
Commit graph
3 commits
Author
SHA1
Message
Date
Eelco Dolstra
84c4631221
* Simplification.
2006-03-01 12:51:18 +00:00
Eelco Dolstra
a4c63c6e8e
* Make it easy to run individual tests from the command line.
2006-03-01 12:15:33 +00:00
Eelco Dolstra
066da4ab85
* Really fix the substitute mechanism, i.e., ensure the closure
...
invariant by registering references through the manifest. * Added a test for nix-pull.
2005-01-25 17:08:52 +00:00