Offset 1, 26 lines modified |
Offset 1, 26 lines modified |
1 |
HEADERIMMUTABLE:·0000003b00004dba0000003f0000000700004daa0000001000000064000000080000000000000001000003e8000000060000000200000001000003e9000000060000001700000001000003ea000000060000002400000001000003eb000000040000002c00000001000003ec000000090000003000000001000003ed000000090000004600000001000003ee000000040000019400000001000003ef000000060000019800000001000003f100000004000001b400000001000003f600000006000001b800000001000003f800000009000001c100000001000003fc00000006000001d900000001000003fd00000006000001f100000001000003fe00000006000001f7000000010000040000000006000001fe0000000100000402000000060000025f000000010000040400000004000002d8000000030000040600000003000002e4000000030000040900000003000002ea000000030000040a00000004000002f0000000030000040b00000008000002fc000000030000040c000000080000033f000000030000040d000000040000036c000000030000040f00000008000003780000000300000410000000080000038700000003000004140000000600000396000000010000041500000004000003c4000000030000041700000008000003d00000000300000418000000040000040c0000000·✂
|
1 |
HEADERIMMUTABLE:·0000003b00004dba0000003f0000000700004daa0000001000000064000000080000000000000001000003e8000000060000000200000001000003e9000000060000001700000001000003ea000000060000002400000001000003eb000000040000002c00000001000003ec000000090000003000000001000003ed000000090000004600000001000003ee000000040000019400000001000003ef000000060000019800000001000003f100000004000001b400000001000003f600000006000001b800000001000003f800000009000001c100000001000003fc00000006000001d900000001000003fd00000006000001f100000001000003fe00000006000001f7000000010000040000000006000001fe0000000100000402000000060000025f000000010000040400000004000002d8000000030000040600000003000002e4000000030000040900000003000002ea000000030000040a00000004000002f0000000030000040b00000008000002fc000000030000040c000000080000033f000000030000040d000000040000036c000000030000040f00000008000003780000000300000410000000080000038700000003000004140000000600000396000000010000041500000004000003c4000000030000041700000008000003d00000000300000418000000040000040c0000000·✂
|
2 |
HEADERI18NTABLE:·
|
2 |
HEADERI18NTABLE:·
|
3 |
·-·C
|
3 |
·-·C
|
4 |
SIGSIZE:·32646
|
4 |
SIGSIZE:·32650
|
5 |
SIGMD5:·39d0007523cb782426a561b68c38f2d9
|
5 |
SIGMD5:·a9a759b6cad7e88b89492238d66c8e31
|
6 |
SHA1HEADER:·04bda96c3bc26c912e56018cfd6698128c65dd3f
|
6 |
SHA1HEADER:·84a38fbbfc1a7981aa5bb93ce03b9f09bc9a5fca
|
7 |
NAME:·texlive-ribbonproofs
|
7 |
NAME:·texlive-ribbonproofs
|
8 |
VERSION:·svn31137.1.0
|
8 |
VERSION:·svn31137.1.0
|
9 |
RELEASE:·14.fc23
|
9 |
RELEASE:·14.fc23
|
10 |
EPOCH:·4
|
10 |
EPOCH:·4
|
11 |
SUMMARY:·Drawing·ribbon·proofs
|
11 |
SUMMARY:·Drawing·ribbon·proofs
|
12 |
DESCRIPTION:·The·package·provides·a·way·to·draw·"ribbon·proofs"·in·LaTeX.·A
|
12 |
DESCRIPTION:·The·package·provides·a·way·to·draw·"ribbon·proofs"·in·LaTeX.·A
|
13 |
ribbon·proof·is·a·diagrammatic·representation·of·a·mathematical
|
13 |
ribbon·proof·is·a·diagrammatic·representation·of·a·mathematical
|
14 |
proof·that·a·computer·program·meets·its·specification.·These
|
14 |
proof·that·a·computer·program·meets·its·specification.·These
|
15 |
diagrams·are·more·human-readable,·more·scalable,·and·more
|
15 |
diagrams·are·more·human-readable,·more·scalable,·and·more
|
16 |
easily·modified·than·the·corresponding·textual·proofs.
|
16 |
easily·modified·than·the·corresponding·textual·proofs.
|
|
|
17 |
date:·2013-07-08·10:43:32·+0200
|
17 |
date:·2013-07-08·10:43:32·+0200
|
18 |
BUILDTIME:·1457114745
|
18 |
BUILDTIME:·1457118633
|
19 |
BUILDHOST:·profitbricks-build3-amd64
|
19 |
BUILDHOST:·profitbricks-build3-amd64
|
20 |
SIZE:·55541
|
20 |
SIZE:·55541
|
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·-·55541
|
39 |
·-·4096·-·39·-·55541
|
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 |
·-·1457114614·-·1457111579·-·1373320877
|
45 |
·-·1457118526·-·1457116054·-·1373320877
|
46 |
FILEMD5S:·
|
46 |
FILEMD5S:·
|
47 |
·-··-··-·bedf7e765c78803bde066a8b6e24f4ad4bc6a3c7985ccb96a5a70d01ba138cc1
|
47 |
·-··-··-·bedf7e765c78803bde066a8b6e24f4ad4bc6a3c7985ccb96a5a70d01ba138cc1
|
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:·
|