TEI Debian packages

This is a set of unofficial, unguaranteed, Debian packages with TEI-useful software and resources packaged by the TEI Technical Council.

If you are a Debian Linux user with a bent for experimentation, you may find some of these useful. If you don't know what they are for, don't touch them.

To pick these packages up using apt-get, add this to your /etc/apt/sources.list file:

		deb https://packages.tei-c.org/deb/binary ./  (with apt-transport-https installed)

If you see errors like W: GPG error: [WWW] https://packages.tei-c.org binary/ Release: The following signatures couldn't be verified because the public key is not available: NO_PUBKEY 19CF3E497B9824DC, you'll need to first download our public PGP key and then do

		sudo apt-key add tei-c.pub.key.asc
Name File MD5 checksum
tei-p5-doc tei-p5-doc_4.1.0_all.deb 2f560c8cadb5e2d469a848aad4705f9c
tei-p5-schema tei-p5-schema_4.1.0_all.deb 7ff15edf4cfc85e2f64b7f4faba3a811
tei-p5-source tei-p5-source_4.1.0_all.deb 57fddc5f74da64cfd947d5d4d00f9b66
tei-xsl tei-xsl_7.50.1_all.deb 8b52c9331cdb2b29cab72e89dc5489ed

Peter Stadler for the TEI Council