Offset 1, 23 lines modified |
Offset 1, 23 lines modified |
1 |
HEADERIMMUTABLE:·0000003b00004c6a0000003f0000000700004c5a0000001000000064000000080000000000000001000003e8000000060000000200000001000003e9000000060000001200000001000003ea000000060000001f00000001000003eb000000040000002800000001000003ec000000090000002c00000001000003ed000000090000004300000001000003ee00000004000000d000000001000003ef00000006000000d400000001000003f100000004000000f000000001000003f600000006000000f400000001000003f800000009000000f900000001000003fc000000060000011100000001000003fd000000060000012900000001000003fe000000060000012f0000000100000400000000060000013600000001000004020000000600000197000000010000040400000004000002100000000300000406000000030000021c00000003000004090000000300000222000000030000040a0000000400000228000000030000040b0000000800000234000000030000040c0000000800000277000000030000040d00000004000002a0000000030000040f00000008000002ac000000030000041000000008000002bb000000030000041400000006000002ca000000010000041500000004000002f800000003000004170000000800000304000000030000041800000004000003300000000·✂
|
1 |
HEADERIMMUTABLE:·0000003b00004c6a0000003f0000000700004c5a0000001000000064000000080000000000000001000003e8000000060000000200000001000003e9000000060000001200000001000003ea000000060000001f00000001000003eb000000040000002800000001000003ec000000090000002c00000001000003ed000000090000004300000001000003ee00000004000000d000000001000003ef00000006000000d400000001000003f100000004000000f000000001000003f600000006000000f400000001000003f800000009000000f900000001000003fc000000060000011100000001000003fd000000060000012900000001000003fe000000060000012f0000000100000400000000060000013600000001000004020000000600000197000000010000040400000004000002100000000300000406000000030000021c00000003000004090000000300000222000000030000040a0000000400000228000000030000040b0000000800000234000000030000040c0000000800000277000000030000040d00000004000002a0000000030000040f00000008000002ac000000030000041000000008000002bb000000030000041400000006000002ca000000010000041500000004000002f800000003000004170000000800000304000000030000041800000004000003300000000·✂
|
2 |
HEADERI18NTABLE:·
|
2 |
HEADERI18NTABLE:·
|
3 |
·-·C
|
3 |
·-·C
|
4 |
SIGSIZE:·23086
|
4 |
SIGSIZE:·23086
|
5 |
SIGMD5:·b9b88af7f3154c3e283e1bad069b3fb7
|
5 |
SIGMD5:·284890292aa5628dbe92869cba713fd6
|
6 |
SHA1HEADER:·df20f13b922004430b0d92728ac1b52536e9d33d
|
6 |
SHA1HEADER:·864c5a08b56ebbc7429fa2ef6d8082e1c8406a6b
|
7 |
NAME:·texlive-lkproof
|
7 |
NAME:·texlive-lkproof
|
8 |
VERSION:·svn20021.3.1
|
8 |
VERSION:·svn20021.3.1
|
9 |
RELEASE:·14.fc23
|
9 |
RELEASE:·14.fc23
|
10 |
EPOCH:·4
|
10 |
EPOCH:·4
|
11 |
SUMMARY:·LK·Proof·figure·macros
|
11 |
SUMMARY:·LK·Proof·figure·macros
|
12 |
DESCRIPTION:·The·package·defines·a·pair·of·commands·\infer·and·\deduce,·that
|
12 |
DESCRIPTION:·The·package·defines·a·pair·of·commands·\infer·and·\deduce,·that
|
13 |
are·used·in·constructing·LK·proof·diagrams.
|
13 |
are·used·in·constructing·LK·proof·diagrams.
|
|
|
14 |
date:·2010-10-07·09:27:06·+0200
|
14 |
date:·2010-10-07·09:27:06·+0200
|
15 |
BUILDTIME:·1457114745
|
15 |
BUILDTIME:·1457118633
|
16 |
BUILDHOST:·profitbricks-build3-amd64
|
16 |
BUILDHOST:·profitbricks-build3-amd64
|
17 |
SIZE:·7239
|
17 |
SIZE:·7239
|
18 |
LICENSE:·GPL+
|
18 |
LICENSE:·GPL+
|
19 |
GROUP:·Applications/Publishing
|
19 |
GROUP:·Applications/Publishing
|
20 |
URL:·http://tug.org/texlive/
|
20 |
URL:·http://tug.org/texlive/
|
21 |
OS:·linux
|
21 |
OS:·linux
|
22 |
ARCH:·noarch
|
22 |
ARCH:·noarch
|
Offset 35, 15 lines modified |
Offset 35, 15 lines modified |
35 |
FILESIZES:·
|
35 |
FILESIZES:·
|
36 |
·-·4096·-·35·-·7239
|
36 |
·-·4096·-·35·-·7239
|
37 |
FILEMODES:·
|
37 |
FILEMODES:·
|
38 |
·-·16877·-·41471·-·33188
|
38 |
·-·16877·-·41471·-·33188
|
39 |
FILERDEVS:·
|
39 |
FILERDEVS:·
|
40 |
·-·0·-·0·-·0
|
40 |
·-·0·-·0·-·0
|
41 |
FILEMTIMES:·
|
41 |
FILEMTIMES:·
|
42 |
·-·1457114482·-·1457111579·-·1160589855
|
42 |
·-·1457118418·-·1457116054·-·1160589855
|
43 |
FILEMD5S:·
|
43 |
FILEMD5S:·
|
44 |
·-··-··-·adef3991c936612960c35e86f23897c458a7940ed09783ab71153338ac05971d
|
44 |
·-··-··-·adef3991c936612960c35e86f23897c458a7940ed09783ab71153338ac05971d
|
45 |
FILELINKTOS:·
|
45 |
FILELINKTOS:·
|
46 |
·-··-·/usr/share/texlive/licenses/gpl.txt·-·
|
46 |
·-··-·/usr/share/texlive/licenses/gpl.txt·-·
|
47 |
FILEFLAGS:·
|
47 |
FILEFLAGS:·
|
48 |
·-·0·-·2·-·0
|
48 |
·-·0·-·2·-·0
|
49 |
FILEUSERNAME:·
|
49 |
FILEUSERNAME:·
|