Package details
Package | texlive-dev |
---|---|
Version | 20190410-r13 |
Description | Comprehensive TeX document production system (development files) |
Project | https://tug.org/texlive/ |
License | GPL-2.0-or-later AND GPL-3.0-or-later |
Branch | v3.12 |
Repository | community |
Architecture | x86_64 |
Size | 68.6KiB |
Installed size | 432.0KiB |
Origin | texlive |
Maintainer | Marian Buschsieweke |
Build time | 2020-05-15 02:09:20 |
Commit | e9f0ceeb362d3f52eeada69046e580d1851025d9 | Merge request | 7321 |
Git repository | Git repository |
Build log | Build log |
Contents | Contents of package |