Find a file
2008-02-27 21:26:47 +00:00
blacklisting * This is a better location to keep the blacklist, since it can evolve 2005-03-24 14:07:02 +00:00
corepkgs * nix-env: allow ~/.nix-defexpr to be a directory. If it is, then the 2007-09-17 16:08:24 +00:00
doc * nix-store --dump-db / --load-db to dump/load the Nix DB. 2008-01-29 18:17:36 +00:00
externals * Use the new patched version of the aterm library. 2007-08-07 23:40:39 +00:00
make * `dependencyClosure' now allows a search path, e.g., 2005-08-14 14:00:39 +00:00
misc small udpate 2007-12-12 02:12:58 +00:00
scripts Added nix-reduce-build. You point it to some path you want to build and it fetches whatever it can from specified computers via nix-copy-closure. NOTE: You do want to set up RSA keys or ssh-agent or something... You really do want it. It will run separate ssh instances insane number of times. 2008-02-27 21:26:47 +00:00
src * checkVarDefs: don't check in closed terms, which don't have 2008-02-21 12:01:24 +00:00
tests * Doh. 2008-02-05 13:35:49 +00:00
aterm-gc.supp * New suppressions. 2006-03-01 15:40:01 +00:00
AUTHORS * Put something in here. 2004-11-07 20:30:02 +00:00
bootstrap.sh * Build dynamic libraries. 2005-07-22 14:52:45 +00:00
ChangeLog * Autoconf / Automake configuration and building. 2003-04-04 16:14:56 +00:00
configure.ac * Bumped the version number to 0.12. 2007-12-31 17:53:59 +00:00
COPYING * Change this to LGPL to keep the government happy. 2006-04-25 16:41:06 +00:00
INSTALL * Autoconf / Automake configuration and building. 2003-04-04 16:14:56 +00:00
Makefile.am * nix-pull: using nix-prefetch-url (so that we get caching for free), 2007-08-09 23:52:53 +00:00
nix.conf.example 2007-10-29 22:16:36 +00:00
nix.spec.in * Fix URL/description. 2007-03-21 12:39:55 +00:00
README * Add SHA-256. 2005-01-14 12:03:04 +00:00
substitute.mk * Give unpacked channels more sensible names than 0, 1, ... They now 2007-05-01 23:16:38 +00:00

For installation and usage instructions, please read the manual, which
can be found in `docs/manual/manual.html', and additionally at the Nix
website at <http://www.cs.uu.nl/groups/ST/Trace/Nix>.


Acknowledgments

This product includes software developed by the OpenSSL Project for
use in the OpenSSL Toolkit (http://www.OpenSSL.org/)