Offset 1, 13 lines modified |
Offset 1, 13 lines modified |
1 |
HEADERIMMUTABLE:·0000003b00004e620000003f0000000700004e520000001000000064000000080000000000000001000003e8000000060000000200000001000003e9000000060000001500000001000003ea000000060000002200000001000003eb000000040000002c00000001000003ec000000090000003000000001000003ed000000090000005b00000001000003ee000000040000024400000001000003ef000000060000024800000001000003f1000000040000026400000001000003f6000000060000026800000001000003f8000000090000027100000001000003fc000000060000028900000001000003fd00000006000002a100000001000003fe00000006000002a7000000010000040000000006000002ae0000000100000402000000060000030f00000001000004040000000400000388000000030000040600000003000003940000000300000409000000030000039a000000030000040a00000004000003a0000000030000040b00000008000003ac000000030000040c00000008000003ef000000030000040d000000040000041c000000030000040f000000080000042800000003000004100000000800000437000000030000041400000006000004460000000100000415000000040000047400000003000004170000000800000480000000030000041800000004000004b80000000·✂
|
1 |
HEADERIMMUTABLE:·0000003b00004e620000003f0000000700004e520000001000000064000000080000000000000001000003e8000000060000000200000001000003e9000000060000001500000001000003ea000000060000002200000001000003eb000000040000002c00000001000003ec000000090000003000000001000003ed000000090000005b00000001000003ee000000040000024400000001000003ef000000060000024800000001000003f1000000040000026400000001000003f6000000060000026800000001000003f8000000090000027100000001000003fc000000060000028900000001000003fd00000006000002a100000001000003fe00000006000002a7000000010000040000000006000002ae0000000100000402000000060000030f00000001000004040000000400000388000000030000040600000003000003940000000300000409000000030000039a000000030000040a00000004000003a0000000030000040b00000008000003ac000000030000040c00000008000003ef000000030000040d000000040000041c000000030000040f000000080000042800000003000004100000000800000437000000030000041400000006000004460000000100000415000000040000047400000003000004170000000800000480000000030000041800000004000004b80000000·✂
|
2 |
HEADERI18NTABLE:·
|
2 |
HEADERI18NTABLE:·
|
3 |
·-·C
|
3 |
·-·C
|
4 |
SIGSIZE:·24050
|
4 |
SIGSIZE:·24050
|
5 |
SIGMD5:·25455958083865f035ec689f53edf406
|
5 |
SIGMD5:·62f8ce6286f46fc3cda84d2ba4e532ce
|
6 |
SHA1HEADER:·179a49c9b7ff6508eb8f5a612e877e730c0e4a12
|
6 |
SHA1HEADER:·047f1d9d99aa8328aef3c562327103ed08dac2cc
|
7 |
NAME:·texlive-perfectcut
|
7 |
NAME:·texlive-perfectcut
|
8 |
VERSION:·svn32861.1.9
|
8 |
VERSION:·svn32861.1.9
|
9 |
RELEASE:·14.fc23
|
9 |
RELEASE:·14.fc23
|
10 |
EPOCH:·4
|
10 |
EPOCH:·4
|
11 |
SUMMARY:·Brackets·whose·size·adjusts·to·the·nesting
|
11 |
SUMMARY:·Brackets·whose·size·adjusts·to·the·nesting
|
12 |
DESCRIPTION:·The·package·defines·the·command·\perfectcut#1#2·which·displays
|
12 |
DESCRIPTION:·The·package·defines·the·command·\perfectcut#1#2·which·displays
|
13 |
a·bracket·<#1||#2>.·Its·effect·is·to·determine·the·size·of·the
|
13 |
a·bracket·<#1||#2>.·Its·effect·is·to·determine·the·size·of·the
|
Offset 15, 15 lines modified |
Offset 15, 15 lines modified |
15 |
(regardless·of·the·contents).·The·command·is·intended·for·use:
|
15 |
(regardless·of·the·contents).·The·command·is·intended·for·use:
|
16 |
In·proof·theory,·for·term·notations·of·sequent·calculus,·In
|
16 |
In·proof·theory,·for·term·notations·of·sequent·calculus,·In
|
17 |
computer·science,·for·the·modeling·of·abstract·machines.·The
|
17 |
computer·science,·for·the·modeling·of·abstract·machines.·The
|
18 |
package·also·offers·a·reimplementation·of·\big,·\bigg,·etc.,
|
18 |
package·also·offers·a·reimplementation·of·\big,·\bigg,·etc.,
|
19 |
into·arbitrary-size·variants.
|
19 |
into·arbitrary-size·variants.
|
|
|
20 |
date:·2014-02-03·14:43:47·+0100
|
20 |
date:·2014-02-03·14:43:47·+0100
|
21 |
BUILDTIME:·1457114745
|
21 |
BUILDTIME:·1457118633
|
22 |
BUILDHOST:·profitbricks-build3-amd64
|
22 |
BUILDHOST:·profitbricks-build3-amd64
|
23 |
SIZE:·12596
|
23 |
SIZE:·12596
|
24 |
LICENSE:·LPPL·1.3
|
24 |
LICENSE:·LPPL·1.3
|
25 |
GROUP:·Applications/Publishing
|
25 |
GROUP:·Applications/Publishing
|
26 |
URL:·http://tug.org/texlive/
|
26 |
URL:·http://tug.org/texlive/
|
27 |
OS:·linux
|
27 |
OS:·linux
|
28 |
ARCH:·noarch
|
28 |
ARCH:·noarch
|
Offset 41, 15 lines modified |
Offset 41, 15 lines modified |
41 |
FILESIZES:·
|
41 |
FILESIZES:·
|
42 |
·-·4096·-·39·-·12596
|
42 |
·-·4096·-·39·-·12596
|
43 |
FILEMODES:·
|
43 |
FILEMODES:·
|
44 |
·-·16877·-·41471·-·33188
|
44 |
·-·16877·-·41471·-·33188
|
45 |
FILERDEVS:·
|
45 |
FILERDEVS:·
|
46 |
·-·0·-·0·-·0
|
46 |
·-·0·-·0·-·0
|
47 |
FILEMTIMES:·
|
47 |
FILEMTIMES:·
|
48 |
·-·1457114524·-·1457111579·-·1391471184
|
48 |
·-·1457118453·-·1457116054·-·1391471184
|
49 |
FILEMD5S:·
|
49 |
FILEMD5S:·
|
50 |
·-··-··-·ab25514345f0523f967818bd03f74ffd0cd5accf3b53d2709f2b1c91225c05f9
|
50 |
·-··-··-·ab25514345f0523f967818bd03f74ffd0cd5accf3b53d2709f2b1c91225c05f9
|
51 |
FILELINKTOS:·
|
51 |
FILELINKTOS:·
|
52 |
·-··-·/usr/share/texlive/licenses/lppl1.3.txt·-·
|
52 |
·-··-·/usr/share/texlive/licenses/lppl1.3.txt·-·
|
53 |
FILEFLAGS:·
|
53 |
FILEFLAGS:·
|
54 |
·-·0·-·2·-·0
|
54 |
·-·0·-·2·-·0
|
55 |
FILEUSERNAME:·
|
55 |
FILEUSERNAME:·
|