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.8.1_all.deb | 197cb93c6c7288bc2a4e250b74478bc8 |
| tei-p5-schema | tei-p5-schema_4.8.1_all.deb | 4539bce0be78f62a982a1c126b6632ad |
| tei-p5-source | tei-p5-source_4.8.1_all.deb | 4f11b29a0436fa0c1f168fa01133f214 |
| tei-xsl | tei-xsl_7.57.1_all.deb | d3d40abf50295a4b4b89d2a5ea05ef91 |