Offset 1, 26 lines modified |
Offset 1, 26 lines modified |
1 |
HEADERIMMUTABLE:·0000003b00004d4a0000003f0000000700004d3a0000001000000064000000080000000000000001000003e8000000060000000200000001000003e9000000060000001300000001000003ea000000060000002000000001000003eb000000040000002800000001000003ec000000090000002c00000001000003ed000000090000005100000001000003ee000000040000019c00000001000003ef00000006000001a000000001000003f100000004000001bc00000001000003f600000006000001c000000001000003f800000009000001c900000001000003fc00000006000001e100000001000003fd00000006000001f900000001000003fe00000006000001ff0000000100000400000000060000020600000001000004020000000600000267000000010000040400000004000002e0000000030000040600000003000002ec000000030000040900000003000002f2000000030000040a00000004000002f8000000030000040b0000000800000304000000030000040c0000000800000347000000030000040d0000000400000374000000030000040f00000008000003800000000300000410000000080000038f0000000300000414000000060000039e000000010000041500000004000003cc000000030000041700000008000003d8000000030000041800000004000004080000000·✂
|
1 |
HEADERIMMUTABLE:·0000003b00004d4a0000003f0000000700004d3a0000001000000064000000080000000000000001000003e8000000060000000200000001000003e9000000060000001300000001000003ea000000060000002000000001000003eb000000040000002800000001000003ec000000090000002c00000001000003ed000000090000005100000001000003ee000000040000019c00000001000003ef00000006000001a000000001000003f100000004000001bc00000001000003f600000006000001c000000001000003f800000009000001c900000001000003fc00000006000001e100000001000003fd00000006000001f900000001000003fe00000006000001ff0000000100000400000000060000020600000001000004020000000600000267000000010000040400000004000002e0000000030000040600000003000002ec000000030000040900000003000002f2000000030000040a00000004000002f8000000030000040b0000000800000304000000030000040c0000000800000347000000030000040d0000000400000374000000030000040f00000008000003800000000300000410000000080000038f0000000300000414000000060000039e000000010000041500000004000003cc000000030000041700000008000003d8000000030000041800000004000004080000000·✂
|
2 |
HEADERI18NTABLE:·
|
2 |
HEADERI18NTABLE:·
|
3 |
·-·C
|
3 |
·-·C
|
4 |
SIGSIZE:·22462
|
4 |
SIGSIZE:·22462
|
5 |
SIGMD5:·b316eb344887e63f416c355a93eebce6
|
5 |
SIGMD5:·763db3ff3182b717320bebddb41fe529
|
6 |
SHA1HEADER:·9350e58bef84101d826f71e6000af81e4e87dfe6
|
6 |
SHA1HEADER:·7412a769170c2170858c9e91328bb2049b2cb104
|
7 |
NAME:·texlive-lplfitch
|
7 |
NAME:·texlive-lplfitch
|
8 |
VERSION:·svn31077.0.9
|
8 |
VERSION:·svn31077.0.9
|
9 |
RELEASE:·14.fc23
|
9 |
RELEASE:·14.fc23
|
10 |
EPOCH:·4
|
10 |
EPOCH:·4
|
11 |
SUMMARY:·Fitch-style·natural·deduction·proofs
|
11 |
SUMMARY:·Fitch-style·natural·deduction·proofs
|
12 |
DESCRIPTION:·The·package·provides·macros·for·typesetting·natural·deduction
|
12 |
DESCRIPTION:·The·package·provides·macros·for·typesetting·natural·deduction
|
13 |
proofs·in·"Fitch"·style,·with·subproofs·indented·and·offset·by
|
13 |
proofs·in·"Fitch"·style,·with·subproofs·indented·and·offset·by
|
14 |
scope·lines.·The·proofs·from·use·of·the·package·are·in·the
|
14 |
scope·lines.·The·proofs·from·use·of·the·package·are·in·the
|
15 |
format·used·in·the·textbook·Language,·Proof,·and·Logic·by·Dave
|
15 |
format·used·in·the·textbook·Language,·Proof,·and·Logic·by·Dave
|
16 |
Barker-Plummer,·Jon·Barwise,·and·John·Etchemendy.
|
16 |
Barker-Plummer,·Jon·Barwise,·and·John·Etchemendy.
|
|
|
17 |
date:·2013-07-02·16:20:31·+0200
|
17 |
date:·2013-07-02·16:20:31·+0200
|
18 |
BUILDTIME:·1457114745
|
18 |
BUILDTIME:·1457118633
|
19 |
BUILDHOST:·profitbricks-build3-amd64
|
19 |
BUILDHOST:·profitbricks-build3-amd64
|
20 |
SIZE:·4184
|
20 |
SIZE:·4184
|
21 |
LICENSE:·LPPL·1.3
|
21 |
LICENSE:·LPPL·1.3
|
22 |
GROUP:·Applications/Publishing
|
22 |
GROUP:·Applications/Publishing
|
23 |
URL:·http://tug.org/texlive/
|
23 |
URL:·http://tug.org/texlive/
|
24 |
OS:·linux
|
24 |
OS:·linux
|
25 |
ARCH:·noarch
|
25 |
ARCH:·noarch
|
Offset 38, 15 lines modified |
Offset 38, 15 lines modified |
38 |
FILESIZES:·
|
38 |
FILESIZES:·
|
39 |
·-·4096·-·39·-·4184
|
39 |
·-·4096·-·39·-·4184
|
40 |
FILEMODES:·
|
40 |
FILEMODES:·
|
41 |
·-·16877·-·41471·-·33188
|
41 |
·-·16877·-·41471·-·33188
|
42 |
FILERDEVS:·
|
42 |
FILERDEVS:·
|
43 |
·-·0·-·0·-·0
|
43 |
·-·0·-·0·-·0
|
44 |
FILEMTIMES:·
|
44 |
FILEMTIMES:·
|
45 |
·-·1457114612·-·1457111579·-·1372807293
|
45 |
·-·1457118524·-·1457116054·-·1372807293
|
46 |
FILEMD5S:·
|
46 |
FILEMD5S:·
|
47 |
·-··-··-·47ef27db33f7e0cfc132329be5263f6356b02d42e1b1ea25b99a7deae094254e
|
47 |
·-··-··-·47ef27db33f7e0cfc132329be5263f6356b02d42e1b1ea25b99a7deae094254e
|
48 |
FILELINKTOS:·
|
48 |
FILELINKTOS:·
|
49 |
·-··-·/usr/share/texlive/licenses/lppl1.3.txt·-·
|
49 |
·-··-·/usr/share/texlive/licenses/lppl1.3.txt·-·
|
50 |
FILEFLAGS:·
|
50 |
FILEFLAGS:·
|
51 |
·-·0·-·2·-·0
|
51 |
·-·0·-·2·-·0
|
52 |
FILEUSERNAME:·
|
52 |
FILEUSERNAME:·
|