Offset 1, 13 lines modified |
Offset 1, 13 lines modified |
1 |
HEADERIMMUTABLE:·0000003b00004e360000003f0000000700004e260000001000000064000000080000000000000001000003e8000000060000000200000001000003e9000000060000001300000001000003ea000000060000002000000001000003eb000000040000002800000001000003ec000000090000002c00000001000003ed000000090000006300000001000003ee000000040000027400000001000003ef000000060000027800000001000003f1000000040000029400000001000003f6000000060000029800000001000003f800000009000002a100000001000003fc00000006000002b900000001000003fd00000006000002d100000001000003fe00000006000002d7000000010000040000000006000002de0000000100000402000000060000033f000000010000040400000004000003b8000000030000040600000003000003c4000000030000040900000003000003ca000000030000040a00000004000003d0000000030000040b00000008000003dc000000030000040c000000080000041f000000030000040d000000040000044c000000030000040f00000008000004580000000300000410000000080000046700000003000004140000000600000476000000010000041500000004000004a4000000030000041700000008000004b0000000030000041800000004000004e00000000·✂
|
1 |
HEADERIMMUTABLE:·0000003b00004e360000003f0000000700004e260000001000000064000000080000000000000001000003e8000000060000000200000001000003e9000000060000001300000001000003ea000000060000002000000001000003eb000000040000002800000001000003ec000000090000002c00000001000003ed000000090000006300000001000003ee000000040000027400000001000003ef000000060000027800000001000003f1000000040000029400000001000003f6000000060000029800000001000003f800000009000002a100000001000003fc00000006000002b900000001000003fd00000006000002d100000001000003fe00000006000002d7000000010000040000000006000002de0000000100000402000000060000033f000000010000040400000004000003b8000000030000040600000003000003c4000000030000040900000003000003ca000000030000040a00000004000003d0000000030000040b00000008000003dc000000030000040c000000080000041f000000030000040d000000040000044c000000030000040f00000008000004580000000300000410000000080000046700000003000004140000000600000476000000010000041500000004000004a4000000030000041700000008000004b0000000030000041800000004000004e00000000·✂
|
2 |
HEADERI18NTABLE:·
|
2 |
HEADERI18NTABLE:·
|
3 |
·-·C
|
3 |
·-·C
|
4 |
SIGSIZE:·22114
|
4 |
SIGSIZE:·22114
|
5 |
SIGMD5:·264a7d1eaf7f7a27c3873804e4e06d8b
|
5 |
SIGMD5:·afb48cda9af98aac9e6930ece2290ee2
|
6 |
SHA1HEADER:·58dcfec7891619077e0281320d84c32ee2e9b4b7
|
6 |
SHA1HEADER:·0d3d24d3166b70aae4ef50eed25544ad96e043cf
|
7 |
NAME:·texlive-interval
|
7 |
NAME:·texlive-interval
|
8 |
VERSION:·svn33012.0.2
|
8 |
VERSION:·svn33012.0.2
|
9 |
RELEASE:·14.fc23
|
9 |
RELEASE:·14.fc23
|
10 |
EPOCH:·4
|
10 |
EPOCH:·4
|
11 |
SUMMARY:·Format·mathematical·intervals,·ensuring·proper·spacing
|
11 |
SUMMARY:·Format·mathematical·intervals,·ensuring·proper·spacing
|
12 |
DESCRIPTION:·When·typing·an·open·interval·as·$]a,b[$,·a·closing·bracket·is
|
12 |
DESCRIPTION:·When·typing·an·open·interval·as·$]a,b[$,·a·closing·bracket·is
|
13 |
being·used·in·place·of·an·opening·fence·and·vice·versa.·This
|
13 |
being·used·in·place·of·an·opening·fence·and·vice·versa.·This
|
Offset 15, 15 lines modified |
Offset 15, 15 lines modified |
15 |
The·package·attempts·to·solve·this·using:·\interval{a}{b}·->
|
15 |
The·package·attempts·to·solve·this·using:·\interval{a}{b}·->
|
16 |
[a,b]·\interval[open]{a}{b}·->·]a,b[·\interval[open·left]{a}{b}
|
16 |
[a,b]·\interval[open]{a}{b}·->·]a,b[·\interval[open·left]{a}{b}
|
17 |
->·]a,b]·The·package·also·supports·fence·scaling·and·ensures
|
17 |
->·]a,b]·The·package·also·supports·fence·scaling·and·ensures
|
18 |
that·the·enclosing·fences·will·end·up·having·the·proper·closing
|
18 |
that·the·enclosing·fences·will·end·up·having·the·proper·closing
|
19 |
and·opening·types.·TeX·maths·does·not·do·this·job·properly.
|
19 |
and·opening·types.·TeX·maths·does·not·do·this·job·properly.
|
|
|
20 |
date:·2014-02-20·17:37:10·+0100
|
20 |
date:·2014-02-20·17:37:10·+0100
|
21 |
BUILDTIME:·1457114745
|
21 |
BUILDTIME:·1457118633
|
22 |
BUILDHOST:·profitbricks-build3-amd64
|
22 |
BUILDHOST:·profitbricks-build3-amd64
|
23 |
SIZE:·2219
|
23 |
SIZE:·2219
|
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·-·2219
|
42 |
·-·4096·-·39·-·2219
|
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 |
·-·1457114611·-·1457111579·-·1392942039
|
48 |
·-·1457118523·-·1457116054·-·1392942039
|
49 |
FILEMD5S:·
|
49 |
FILEMD5S:·
|
50 |
·-··-··-·066f2d95b4fcbabea24f2847c934fb0d123e0425bc8352248b6aa2a1307ac724
|
50 |
·-··-··-·066f2d95b4fcbabea24f2847c934fb0d123e0425bc8352248b6aa2a1307ac724
|
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:·
|