Dmitry Kalinkin c5787e5b8c texlive: 2020.20201009 -> 2020.20210109		2021-01-11 13:02:54 -05:00
..
default.nix	texlive: 2020.20201009 -> 2020.20210109	2021-01-11 13:02:54 -05:00