/srv/reproducible-results/rbuild-rpm-6h1lK8Al/b1/texlive/texlive-lisp-on-tex-doc-svn32561.1.2-14.fc23.noarch.rpm vs.
/srv/reproducible-results/rbuild-rpm-6h1lK8Al/b2/texlive/texlive-lisp-on-tex-doc-svn32561.1.2-14.fc23.noarch.rpm
header
Offset 1, 35 lines modified Offset 1, 35 lines modified
1 HEADERIMMUTABLE:​·​00000035000061ca00000​03f00000007000061ba00​000010000000640000000​800000000000000010000​03e800000006000000020​0000001000003e9000000​060000001a00000001000​003ea0000000600000027​00000001000003eb00000​004000000300000000100​0003ec000000090000003​400000001000003ed0000​000900000052000000010​00003ee00000004000000​7000000001000003ef000​000060000007400000001​000003f10000000400000​09000000001000003f600​000006000000940000000​1000003f8000000090000​00f800000001000003fc0​000000600000110000000​01000003fd00000006000​0012800000001000003fe​000000060000012e00000​001000004040000000400​0001380000002f0000040​600000003000001f40000​002f00000409000000030​00002520000002f000004​0a00000004000002b0000​0002f0000040b00000008​0000036c0000002f00000​40c0000000800000edb00​00002f0000040d0000000​400000f300000002f0000​040f0000000800000fec0​000002f00000410000000​08000010d70000002f000​0041400000006000011c2​000000010000041500000​004000011f00000002f00​00041700000008000012a​c00000002000004180000​0004000012d8000000040​000041900000008000012​e8000000040000041a000​000080000134b0000000·​✂ 1 HEADERIMMUTABLE:​·​00000035000061ca00000​03f00000007000061ba00​000010000000640000000​800000000000000010000​03e800000006000000020​0000001000003e9000000​060000001a00000001000​003ea0000000600000027​00000001000003eb00000​004000000300000000100​0003ec000000090000003​400000001000003ed0000​000900000052000000010​00003ee00000004000000​7000000001000003ef000​000060000007400000001​000003f10000000400000​09000000001000003f600​000006000000940000000​1000003f8000000090000​00f800000001000003fc0​000000600000110000000​01000003fd00000006000​0012800000001000003fe​000000060000012e00000​001000004040000000400​0001380000002f0000040​600000003000001f40000​002f00000409000000030​00002520000002f000004​0a00000004000002b0000​0002f0000040b00000008​0000036c0000002f00000​40c0000000800000edb00​00002f0000040d0000000​400000f300000002f0000​040f0000000800000fec0​000002f00000410000000​08000010d70000002f000​0041400000006000011c2​000000010000041500000​004000011f00000002f00​00041700000008000012a​c00000002000004180000​0004000012d8000000040​000041900000008000012​e8000000040000041a000​000080000134b0000000·​✂
2 HEADERI18NTABLE:​· 2 HEADERI18NTABLE:​·
3 ·​-​·​C 3 ·​-​·​C
4 SIGSIZE:​·​637150 4 SIGSIZE:​·​637150
5 SIGMD5:​·820aff3a19f5811834a51​0bafc6d31a2 5 SIGMD5:​·649dca92476f33cb1adca​b4a841c37bf
6 SHA1HEADER:​·c2f950eb330a3e4249175​94ffd56ca6e8d47f906 6 SHA1HEADER:​·75342ef4f908b8325ffe0​4cb2ad542f0534b1fd0
7 NAME:​·​texlive-​lisp-​on-​tex-​doc 7 NAME:​·​texlive-​lisp-​on-​tex-​doc
8 VERSION:​·​svn32561.​1.​2 8 VERSION:​·​svn32561.​1.​2
9 RELEASE:​·​14.​fc23 9 RELEASE:​·​14.​fc23
10 EPOCH:​·​4 10 EPOCH:​·​4
11 SUMMARY:​·​Documentation·​for·​lisp-​on-​tex 11 SUMMARY:​·​Documentation·​for·​lisp-​on-​tex
12 DESCRIPTION:​·​Documentation·​for·​lisp-​on-​tex 12 DESCRIPTION:​·​Documentation·​for·​lisp-​on-​tex
13 BUILDTIME:​·​1457114745 13 BUILDTIME:​·​1457118633
14 BUILDHOST:​·​profitbricks-​build3-​amd64 14 BUILDHOST:​·​profitbricks-​build3-​amd64
15 SIZE:​·​2928910 15 SIZE:​·​2928910
16 LICENSE:​·​Artistic·​2.​0·​and·​GPLv2·​and·​GPLv2+·​and·​LGPLv2+·​and·​LPPL·​and·​MIT·​and·​Public·​Domain·​and·​UCD·​and·​Utopia 16 LICENSE:​·​Artistic·​2.​0·​and·​GPLv2·​and·​GPLv2+·​and·​LGPLv2+·​and·​LPPL·​and·​MIT·​and·​Public·​Domain·​and·​UCD·​and·​Utopia
17 GROUP:​·​Applications/​Publishing 17 GROUP:​·​Applications/​Publishing
18 URL:​·​http:​/​/​tug.​org/​texlive/​ 18 URL:​·​http:​/​/​tug.​org/​texlive/​
19 OS:​·​linux 19 OS:​·​linux
20 ARCH:​·​noarch 20 ARCH:​·​noarch
21 FILESIZES:​· 21 FILESIZES:​·
22 ·​-​·​4096·​-​·​35·​-​·​1661·​-​·​8980·​-​·​36628·​-​·​838·​-​·​32298·​-​·​1800·​-​·​252·​-​·​30979·​-​·​641·​-​·​941·​-​·​235·​-​·​32056·​-​·​2914·​-​·​19112·​-​·​484·​-​·​251·​-​·​32296·​-​·​1812·​-​·​19156·​-​·​639·​-​·​8982·​-​·​505·​-​·​32289·​-​·​1837·​-​·​19160·​-​·​373·​-​·​8947·​-​·​299·​-​·​45236·​-​·​1374·​-​·​19041·​-​·​331·​-​·​10418·​-​·​1587·​-​·​195·​-​·​0·​-​·​40·​-​·​2232646·​-​·​45252·​-​·​1510·​-​·​565·​-​·​19160·​-​·​360·​-​·​247935·​-​·​6895 22 ·​-​·​4096·​-​·​35·​-​·​1661·​-​·​8980·​-​·​36628·​-​·​838·​-​·​32298·​-​·​1800·​-​·​252·​-​·​30979·​-​·​641·​-​·​941·​-​·​235·​-​·​32056·​-​·​2914·​-​·​19112·​-​·​484·​-​·​251·​-​·​32296·​-​·​1812·​-​·​19156·​-​·​639·​-​·​8982·​-​·​505·​-​·​32289·​-​·​1837·​-​·​19160·​-​·​373·​-​·​8947·​-​·​299·​-​·​45236·​-​·​1374·​-​·​19041·​-​·​331·​-​·​10418·​-​·​1587·​-​·​195·​-​·​0·​-​·​40·​-​·​2232646·​-​·​45252·​-​·​1510·​-​·​565·​-​·​19160·​-​·​360·​-​·​247935·​-​·​6895
23 FILEMODES:​· 23 FILEMODES:​·
24 ·​-​·​16877·​-​·​41471·​-​·​33188·​-​·​33188·​-​·​33188·​-​·​33188·​-​·​33188·​-​·​33188·​-​·​33188·​-​·​33188·​-​·​33188·​-​·​33188·​-​·​33188·​-​·​33188·​-​·​33188·​-​·​33188·​-​·​33188·​-​·​33188·​-​·​33188·​-​·​33188·​-​·​33188·​-​·​33188·​-​·​33188·​-​·​33188·​-​·​33188·​-​·​33188·​-​·​33188·​-​·​33188·​-​·​33188·​-​·​33188·​-​·​33188·​-​·​33188·​-​·​33188·​-​·​33188·​-​·​33188·​-​·​33188·​-​·​33188·​-​·​33188·​-​·​33188·​-​·​33188·​-​·​33188·​-​·​33188·​-​·​33188·​-​·​33188·​-​·​33188·​-​·​33188·​-​·​33188 24 ·​-​·​16877·​-​·​41471·​-​·​33188·​-​·​33188·​-​·​33188·​-​·​33188·​-​·​33188·​-​·​33188·​-​·​33188·​-​·​33188·​-​·​33188·​-​·​33188·​-​·​33188·​-​·​33188·​-​·​33188·​-​·​33188·​-​·​33188·​-​·​33188·​-​·​33188·​-​·​33188·​-​·​33188·​-​·​33188·​-​·​33188·​-​·​33188·​-​·​33188·​-​·​33188·​-​·​33188·​-​·​33188·​-​·​33188·​-​·​33188·​-​·​33188·​-​·​33188·​-​·​33188·​-​·​33188·​-​·​33188·​-​·​33188·​-​·​33188·​-​·​33188·​-​·​33188·​-​·​33188·​-​·​33188·​-​·​33188·​-​·​33188·​-​·​33188·​-​·​33188·​-​·​33188·​-​·​33188
25 FILERDEVS:​· 25 FILERDEVS:​·
26 ·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0 26 ·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0
27 FILEMTIMES:​· 27 FILEMTIMES:​·
28 ·​-​·​1457114481·​-​·​1457111579·​-​·​1388794706·​-​·​1388794706·​-​·​1388794706·​-​·​1362443626·​-​·​1362443626·​-​·​1362443626·​-​·​1388794706·​-​·​1388794706·​-​·​1362443626·​-​·​1388794706·​-​·​1388794706·​-​·​1388794706·​-​·​1388794706·​-​·​1388794706·​-​·​1388794706·​-​·​1388794706·​-​·​1388794706·​-​·​1388794706·​-​·​1388794706·​-​·​1388794706·​-​·​1388794706·​-​·​1388794706·​-​·​1388794706·​-​·​1388794706·​-​·​1388794706·​-​·​1388794706·​-​·​1388794706·​-​·​1388794706·​-​·​1388794706·​-​·​1388794706·​-​·​1388794706·​-​·​1388794706·​-​·​1388794706·​-​·​1388794706·​-​·​1388794706·​-​·​1388794706·​-​·​1388794706·​-​·​1388794706·​-​·​1388794706·​-​·​1388794706·​-​·​1388794706·​-​·​1388794706·​-​·​1388794706·​-​·​1388794706·​-​·​1388794706 28 ·​-​·​1457118417·​-​·​1457116054·​-​·​1388794706·​-​·​1388794706·​-​·​1388794706·​-​·​1362443626·​-​·​1362443626·​-​·​1362443626·​-​·​1388794706·​-​·​1388794706·​-​·​1362443626·​-​·​1388794706·​-​·​1388794706·​-​·​1388794706·​-​·​1388794706·​-​·​1388794706·​-​·​1388794706·​-​·​1388794706·​-​·​1388794706·​-​·​1388794706·​-​·​1388794706·​-​·​1388794706·​-​·​1388794706·​-​·​1388794706·​-​·​1388794706·​-​·​1388794706·​-​·​1388794706·​-​·​1388794706·​-​·​1388794706·​-​·​1388794706·​-​·​1388794706·​-​·​1388794706·​-​·​1388794706·​-​·​1388794706·​-​·​1388794706·​-​·​1388794706·​-​·​1388794706·​-​·​1388794706·​-​·​1388794706·​-​·​1388794706·​-​·​1388794706·​-​·​1388794706·​-​·​1388794706·​-​·​1388794706·​-​·​1388794706·​-​·​1388794706·​-​·​1388794706
29 FILEMD5S:​· 29 FILEMD5S:​·
30 ·​-​··​-​··​-​·​74151eca6ee1b404d0e54​13bed801eb710685df1a4​2406e4e8c8cfe81ef9b39​e·​-​·​b4ec2efcbca20fd8fdeeb​6dcaa626028dd2d1d9550​fc1cb07d5903fc6536988​3·​-​·​0f721c65bba46b4ed8059​e20e9462134fe0ed3d5ee​143c287af1c9e16517611​8·​-​·​836c471a908cba8ffda6d​435e15739693c6f227bee​66c16a4a0996fc722a660​f·​-​·​5373327af23a98fe1b6a5​3f0bef6920c6de427ff79​a3a3b3e0c494c66b7d9c8​f·​-​·​fc3ee19220ada65da5c43​5a035f375c6c6db20a24d​dccd7fae1af4abd770953​7·​-​·​361d66f1b75d25d860105​80a86ccedd183aca02ce8​0c06ed4fbd1b5cb3ab419​e·​-​·​6db8d4568068ad6213e13​d5c9e83f1cff4de85d276​a47298be6fb3a05c9a839​4·​-​·​e324621365342deaddd65​e36ede6d32054d29881bf​209a1ca4e1f27e379f376​6·​-​·​2f35061379193fabd73d6​a71e0684d306a96fa5e9a​a4605c632e6f7b5950f52​e·​-​·​05c0d907f7aa9e25136e4​707d4458181ff8c8322b5​6a2f8b2242eac8eec3196​a·​-​·​92e5afa3676110f5dd17c​bdc30a0e3967140a4b7e8​a74d0477ea59cc2368461​8·​-​·​83f170c11024a5da0f6f1​62f878fce3a62ea20a8e4​e948d070949b94d3b811b​c·​-​·​fb21ac428bb9dc65f93ce​46cb3451c1a2cac6b9bb0​55b56b5c33c9d03579b03​f·​-​·​29f9514dc8ca6f4fc4ca5​8e6746a1f70bf3d088ed7​aa92855f72f1349b158ed​6·​-​·​2092b6e43f·​✂ 30 ·​-​··​-​··​-​·​74151eca6ee1b404d0e54​13bed801eb710685df1a4​2406e4e8c8cfe81ef9b39​e·​-​·​b4ec2efcbca20fd8fdeeb​6dcaa626028dd2d1d9550​fc1cb07d5903fc6536988​3·​-​·​0f721c65bba46b4ed8059​e20e9462134fe0ed3d5ee​143c287af1c9e16517611​8·​-​·​836c471a908cba8ffda6d​435e15739693c6f227bee​66c16a4a0996fc722a660​f·​-​·​5373327af23a98fe1b6a5​3f0bef6920c6de427ff79​a3a3b3e0c494c66b7d9c8​f·​-​·​fc3ee19220ada65da5c43​5a035f375c6c6db20a24d​dccd7fae1af4abd770953​7·​-​·​361d66f1b75d25d860105​80a86ccedd183aca02ce8​0c06ed4fbd1b5cb3ab419​e·​-​·​6db8d4568068ad6213e13​d5c9e83f1cff4de85d276​a47298be6fb3a05c9a839​4·​-​·​e324621365342deaddd65​e36ede6d32054d29881bf​209a1ca4e1f27e379f376​6·​-​·​2f35061379193fabd73d6​a71e0684d306a96fa5e9a​a4605c632e6f7b5950f52​e·​-​·​05c0d907f7aa9e25136e4​707d4458181ff8c8322b5​6a2f8b2242eac8eec3196​a·​-​·​92e5afa3676110f5dd17c​bdc30a0e3967140a4b7e8​a74d0477ea59cc2368461​8·​-​·​83f170c11024a5da0f6f1​62f878fce3a62ea20a8e4​e948d070949b94d3b811b​c·​-​·​fb21ac428bb9dc65f93ce​46cb3451c1a2cac6b9bb0​55b56b5c33c9d03579b03​f·​-​·​29f9514dc8ca6f4fc4ca5​8e6746a1f70bf3d088ed7​aa92855f72f1349b158ed​6·​-​·​2092b6e43f·​✂
31 FILELINKTOS:​· 31 FILELINKTOS:​·
32 ·​-​··​-​·​/​usr/​share/​texlive/​licenses/​bsd.​txt·​-​··​-​··​-​··​-​··​-​··​-​··​-​··​-​··​-​··​-​··​-​··​-​··​-​··​-​··​-​··​-​··​-​··​-​··​-​··​-​··​-​··​-​··​-​··​-​··​-​··​-​··​-​··​-​··​-​··​-​··​-​··​-​··​-​··​-​··​-​··​-​··​-​··​-​··​-​··​-​··​-​··​-​··​-​··​-​··​-​· 32 ·​-​··​-​·​/​usr/​share/​texlive/​licenses/​bsd.​txt·​-​··​-​··​-​··​-​··​-​··​-​··​-​··​-​··​-​··​-​··​-​··​-​··​-​··​-​··​-​··​-​··​-​··​-​··​-​··​-​··​-​··​-​··​-​··​-​··​-​··​-​··​-​··​-​··​-​··​-​··​-​··​-​··​-​··​-​··​-​··​-​··​-​··​-​··​-​··​-​··​-​··​-​··​-​··​-​··​-​·
33 FILEFLAGS:​· 33 FILEFLAGS:​·
34 ·​-​·​0·​-​·​2·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0 34 ·​-​·​0·​-​·​2·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0·​-​·​0
35 FILEUSERNAME:​· 35 FILEUSERNAME:​·
content
file list
Offset 1, 9 lines modified Offset 1, 9 lines modified
1 drwxr-​xr-​x···​1········​0········​0········​0·​2016-​03-​04·​18:​01:​21.​000000·​.​/​usr/​share/​doc/​texlive-​lisp-​on-​tex-​doc 1 drwxr-​xr-​x···​1········​0········​0········​0·​2016-​03-​04·​19:​06:​57.​000000·​.​/​usr/​share/​doc/​texlive-​lisp-​on-​tex-​doc
2 lrwxrwxrwx···​1········​0········​0·······​35·​2016-​03-​04·​17:​12:​59.​000000·​.​/​usr/​share/​doc/​texlive-​lisp-​on-​tex-​doc/​bsd.​txt·​-​>·​/​usr/​share/​texlive/​licenses/​bsd.​txt 2 lrwxrwxrwx···​1········​0········​0·······​35·​2016-​03-​04·​18:​27:​34.​000000·​.​/​usr/​share/​doc/​texlive-​lisp-​on-​tex-​doc/​bsd.​txt·​-​>·​/​usr/​share/​texlive/​licenses/​bsd.​txt
3 -​rw-​r-​-​r-​-​···​1········​0········​0·····​1661·​2014-​01-​04·​00:​18:​26.​000000·​.​/​usr/​share/​texlive/​texmf-​dist/​doc/​latex/​lisp-​on-​tex/​LICENSE 3 -​rw-​r-​-​r-​-​···​1········​0········​0·····​1661·​2014-​01-​04·​00:​18:​26.​000000·​.​/​usr/​share/​texlive/​texmf-​dist/​doc/​latex/​lisp-​on-​tex/​LICENSE
4 -​rw-​r-​-​r-​-​···​1········​0········​0·····​8980·​2014-​01-​04·​00:​18:​26.​000000·​.​/​usr/​share/​texlive/​texmf-​dist/​doc/​latex/​lisp-​on-​tex/​README 4 -​rw-​r-​-​r-​-​···​1········​0········​0·····​8980·​2014-​01-​04·​00:​18:​26.​000000·​.​/​usr/​share/​texlive/​texmf-​dist/​doc/​latex/​lisp-​on-​tex/​README
5 -​rw-​r-​-​r-​-​···​1········​0········​0····​36628·​2014-​01-​04·​00:​18:​26.​000000·​.​/​usr/​share/​texlive/​texmf-​dist/​doc/​latex/​lisp-​on-​tex/​examples/​fact.​pdf 5 -​rw-​r-​-​r-​-​···​1········​0········​0····​36628·​2014-​01-​04·​00:​18:​26.​000000·​.​/​usr/​share/​texlive/​texmf-​dist/​doc/​latex/​lisp-​on-​tex/​examples/​fact.​pdf
6 -​rw-​r-​-​r-​-​···​1········​0········​0······​838·​2013-​03-​05·​00:​33:​46.​000000·​.​/​usr/​share/​texlive/​texmf-​dist/​doc/​latex/​lisp-​on-​tex/​examples/​fact.​tex 6 -​rw-​r-​-​r-​-​···​1········​0········​0······​838·​2013-​03-​05·​00:​33:​46.​000000·​.​/​usr/​share/​texlive/​texmf-​dist/​doc/​latex/​lisp-​on-​tex/​examples/​fact.​tex
7 -​rw-​r-​-​r-​-​···​1········​0········​0····​32298·​2013-​03-​05·​00:​33:​46.​000000·​.​/​usr/​share/​texlive/​texmf-​dist/​doc/​latex/​lisp-​on-​tex/​examples/​fpnummodule-​mandelbrot.​pdf 7 -​rw-​r-​-​r-​-​···​1········​0········​0····​32298·​2013-​03-​05·​00:​33:​46.​000000·​.​/​usr/​share/​texlive/​texmf-​dist/​doc/​latex/​lisp-​on-​tex/​examples/​fpnummodule-​mandelbrot.​pdf
8 -​rw-​r-​-​r-​-​···​1········​0········​0·····​1800·​2013-​03-​05·​00:​33:​46.​000000·​.​/​usr/​share/​texlive/​texmf-​dist/​doc/​latex/​lisp-​on-​tex/​examples/​fpnummodule-​mandelbrot.​tex 8 -​rw-​r-​-​r-​-​···​1········​0········​0·····​1800·​2013-​03-​05·​00:​33:​46.​000000·​.​/​usr/​share/​texlive/​texmf-​dist/​doc/​latex/​lisp-​on-​tex/​examples/​fpnummodule-​mandelbrot.​tex
9 -​rw-​r-​-​r-​-​···​1········​0········​0······​252·​2014-​01-​04·​00:​18:​26.​000000·​.​/​usr/​share/​texlive/​texmf-​dist/​doc/​latex/​lisp-​on-​tex/​examples/​repl.​tex 9 -​rw-​r-​-​r-​-​···​1········​0········​0······​252·​2014-​01-​04·​00:​18:​26.​000000·​.​/​usr/​share/​texlive/​texmf-​dist/​doc/​latex/​lisp-​on-​tex/​examples/​repl.​tex