Offset 1, 27 lines modified |
Offset 1, 27 lines modified |
1 |
HEADERIMMUTABLE:·0000003b00004d760000003f0000000700004d660000001000000064000000080000000000000001000003e8000000060000000200000001000003e9000000060000001500000001000003ea000000060000002000000001000003eb000000040000002800000001000003ec000000090000002c00000001000003ed000000090000005400000001000003ee00000004000001c400000001000003ef00000006000001c800000001000003f100000004000001e400000001000003f600000006000001e800000001000003f800000009000001ed00000001000003fc000000060000020500000001000003fd000000060000021d00000001000003fe00000006000002230000000100000400000000060000022a0000000100000402000000060000028b000000010000040400000004000003040000000300000406000000030000031000000003000004090000000300000316000000030000040a000000040000031c000000030000040b0000000800000328000000030000040c000000080000036b000000030000040d0000000400000394000000030000040f00000008000003a0000000030000041000000008000003af000000030000041400000006000003be000000010000041500000004000003ec000000030000041700000008000003f8000000030000041800000004000004300000000·✂
|
1 |
HEADERIMMUTABLE:·0000003b00004d760000003f0000000700004d660000001000000064000000080000000000000001000003e8000000060000000200000001000003e9000000060000001500000001000003ea000000060000002000000001000003eb000000040000002800000001000003ec000000090000002c00000001000003ed000000090000005400000001000003ee00000004000001c400000001000003ef00000006000001c800000001000003f100000004000001e400000001000003f600000006000001e800000001000003f800000009000001ed00000001000003fc000000060000020500000001000003fd000000060000021d00000001000003fe00000006000002230000000100000400000000060000022a0000000100000402000000060000028b000000010000040400000004000003040000000300000406000000030000031000000003000004090000000300000316000000030000040a000000040000031c000000030000040b0000000800000328000000030000040c000000080000036b000000030000040d0000000400000394000000030000040f00000008000003a0000000030000041000000008000003af000000030000041400000006000003be000000010000041500000004000003ec000000030000041700000008000003f8000000030000041800000004000004300000000·✂
|
2 |
HEADERI18NTABLE:·
|
2 |
HEADERI18NTABLE:·
|
3 |
·-·C
|
3 |
·-·C
|
4 |
SIGSIZE:·24802
|
4 |
SIGSIZE:·24802
|
5 |
SIGMD5:·51f375e6c06ede669bc326b13330dc4c
|
5 |
SIGMD5:·523fa38f2b26a21bcb16e1308fb31ec2
|
6 |
SHA1HEADER:·1c64886cc13d216e5951447b7372ede5db6fed77
|
6 |
SHA1HEADER:·01cb051751b23040caad46570cdf66bea5052756
|
7 |
NAME:·texlive-theoremref
|
7 |
NAME:·texlive-theoremref
|
8 |
VERSION:·svn30640.0
|
8 |
VERSION:·svn30640.0
|
9 |
RELEASE:·14.fc23
|
9 |
RELEASE:·14.fc23
|
10 |
EPOCH:·4
|
10 |
EPOCH:·4
|
11 |
SUMMARY:·References·with·automatic·theorem·names
|
11 |
SUMMARY:·References·with·automatic·theorem·names
|
12 |
DESCRIPTION:·The·theoremref·package·provides·variants·of·the·\label·and·\ref
|
12 |
DESCRIPTION:·The·theoremref·package·provides·variants·of·the·\label·and·\ref
|
13 |
commands·for·theorem-like·environments,·capable·of
|
13 |
commands·for·theorem-like·environments,·capable·of
|
14 |
automatically·typesetting·references·including·the·theorem·name
|
14 |
automatically·typesetting·references·including·the·theorem·name
|
15 |
(apart·from·the·theorem·number).·The·scheme·is·particularly
|
15 |
(apart·from·the·theorem·number).·The·scheme·is·particularly
|
16 |
valuable·if·the·author·decides·to·change·a·lemma·to·a
|
16 |
valuable·if·the·author·decides·to·change·a·lemma·to·a
|
17 |
proposition·or·a·theorem·(or·whatever).
|
17 |
proposition·or·a·theorem·(or·whatever).
|
|
|
18 |
date:·2012-07-10·15:51:55·+0200
|
18 |
date:·2012-07-10·15:51:55·+0200
|
19 |
BUILDTIME:·1457114745
|
19 |
BUILDTIME:·1457118633
|
20 |
BUILDHOST:·profitbricks-build3-amd64
|
20 |
BUILDHOST:·profitbricks-build3-amd64
|
21 |
SIZE:·8987
|
21 |
SIZE:·8987
|
22 |
LICENSE:·LPPL
|
22 |
LICENSE:·LPPL
|
23 |
GROUP:·Applications/Publishing
|
23 |
GROUP:·Applications/Publishing
|
24 |
URL:·http://tug.org/texlive/
|
24 |
URL:·http://tug.org/texlive/
|
25 |
OS:·linux
|
25 |
OS:·linux
|
26 |
ARCH:·noarch
|
26 |
ARCH:·noarch
|
Offset 39, 15 lines modified |
Offset 39, 15 lines modified |
39 |
FILESIZES:·
|
39 |
FILESIZES:·
|
40 |
·-·4096·-·37·-·8987
|
40 |
·-·4096·-·37·-·8987
|
41 |
FILEMODES:·
|
41 |
FILEMODES:·
|
42 |
·-·16877·-·41471·-·33188
|
42 |
·-·16877·-·41471·-·33188
|
43 |
FILERDEVS:·
|
43 |
FILERDEVS:·
|
44 |
·-·0·-·0·-·0
|
44 |
·-·0·-·0·-·0
|
45 |
FILEMTIMES:·
|
45 |
FILEMTIMES:·
|
46 |
·-·1457114574·-·1457111579·-·1369264355
|
46 |
·-·1457118493·-·1457116054·-·1369264355
|
47 |
FILEMD5S:·
|
47 |
FILEMD5S:·
|
48 |
·-··-··-·f4a0ac805c741b8271b98df07b7cefb2ec1bdce8ed2e50f96833a7ea8aef92e5
|
48 |
·-··-··-·f4a0ac805c741b8271b98df07b7cefb2ec1bdce8ed2e50f96833a7ea8aef92e5
|
49 |
FILELINKTOS:·
|
49 |
FILELINKTOS:·
|
50 |
·-··-·/usr/share/texlive/licenses/lppl1.txt·-·
|
50 |
·-··-·/usr/share/texlive/licenses/lppl1.txt·-·
|
51 |
FILEFLAGS:·
|
51 |
FILEFLAGS:·
|
52 |
·-·0·-·2·-·0
|
52 |
·-·0·-·2·-·0
|
53 |
FILEUSERNAME:·
|
53 |
FILEUSERNAME:·
|