Offset 1, 26 lines modified |
Offset 1, 26 lines modified |
1 |
HEADERIMMUTABLE:·0000003b00004d1e0000003f0000000700004d0e0000001000000064000000080000000000000001000003e8000000060000000200000001000003e9000000060000001000000001000003ea000000060000001b00000001000003eb000000040000002400000001000003ec000000090000002800000001000003ed000000090000006000000001000003ee000000040000018800000001000003ef000000060000018c00000001000003f100000004000001a800000001000003f600000006000001ac00000001000003f800000009000001b100000001000003fc00000006000001c900000001000003fd00000006000001e100000001000003fe00000006000001e7000000010000040000000006000001ee0000000100000402000000060000024f000000010000040400000004000002c8000000030000040600000003000002d4000000030000040900000003000002da000000030000040a00000004000002e0000000030000040b00000008000002ec000000030000040c000000080000032f000000030000040d0000000400000358000000030000040f00000008000003640000000300000410000000080000037300000003000004140000000600000382000000010000041500000004000003b0000000030000041700000008000003bc000000030000041800000004000003e40000000·✂
|
1 |
HEADERIMMUTABLE:·0000003b00004d1e0000003f0000000700004d0e0000001000000064000000080000000000000001000003e8000000060000000200000001000003e9000000060000001000000001000003ea000000060000001b00000001000003eb000000040000002400000001000003ec000000090000002800000001000003ed000000090000006000000001000003ee000000040000018800000001000003ef000000060000018c00000001000003f100000004000001a800000001000003f600000006000001ac00000001000003f800000009000001b100000001000003fc00000006000001c900000001000003fd00000006000001e100000001000003fe00000006000001e7000000010000040000000006000001ee0000000100000402000000060000024f000000010000040400000004000002c8000000030000040600000003000002d4000000030000040900000003000002da000000030000040a00000004000002e0000000030000040b00000008000002ec000000030000040c000000080000032f000000030000040d0000000400000358000000030000040f00000008000003640000000300000410000000080000037300000003000004140000000600000382000000010000041500000004000003b0000000030000041700000008000003bc000000030000041800000004000003e40000000·✂
|
2 |
HEADERI18NTABLE:·
|
2 |
HEADERI18NTABLE:·
|
3 |
·-·C
|
3 |
·-·C
|
4 |
SIGSIZE:·21986
|
4 |
SIGSIZE:·21986
|
5 |
SIGMD5:·f5ecdc411569f51b9ec3e9b3f98afd08
|
5 |
SIGMD5:·dc3f788d00a45563c34cac36aaf2e0e7
|
6 |
SHA1HEADER:·9a840cbf23b00366ae17d7a6cc77f495b9c39928
|
6 |
SHA1HEADER:·497c620e8504dbb5710e62a0dc83f8def485355a
|
7 |
NAME:·texlive-proba
|
7 |
NAME:·texlive-proba
|
8 |
VERSION:·svn15878.0
|
8 |
VERSION:·svn15878.0
|
9 |
RELEASE:·14.fc23
|
9 |
RELEASE:·14.fc23
|
10 |
EPOCH:·4
|
10 |
EPOCH:·4
|
11 |
SUMMARY:·Shortcuts·commands·to·symbols·used·in·probability·texts
|
11 |
SUMMARY:·Shortcuts·commands·to·symbols·used·in·probability·texts
|
12 |
DESCRIPTION:·This·package·includes·some·of·the·most·often·used·commands·in
|
12 |
DESCRIPTION:·This·package·includes·some·of·the·most·often·used·commands·in
|
13 |
probability·texts,·e.g.·probability,·expectation,·variance,
|
13 |
probability·texts,·e.g.·probability,·expectation,·variance,
|
14 |
etc.·It·also·includes·some·short·commands·for·set·(blackboard)
|
14 |
etc.·It·also·includes·some·short·commands·for·set·(blackboard)
|
15 |
or·filtrations·(calligraphic).·It·requires·LaTeX2e·and·the
|
15 |
or·filtrations·(calligraphic).·It·requires·LaTeX2e·and·the
|
16 |
amsfonts·package.
|
16 |
amsfonts·package.
|
|
|
17 |
date:·2009-06-02·14:48:32·+0200
|
17 |
date:·2009-06-02·14:48:32·+0200
|
18 |
BUILDTIME:·1457114745
|
18 |
BUILDTIME:·1457118633
|
19 |
BUILDHOST:·profitbricks-build3-amd64
|
19 |
BUILDHOST:·profitbricks-build3-amd64
|
20 |
SIZE:·4415
|
20 |
SIZE:·4415
|
21 |
LICENSE:·LPPL
|
21 |
LICENSE:·LPPL
|
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·-·37·-·4415
|
39 |
·-·4096·-·37·-·4415
|
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·-·1213174798
|
45 |
·-·1457118526·-·1457116054·-·1213174798
|
46 |
FILEMD5S:·
|
46 |
FILEMD5S:·
|
47 |
·-··-··-·6f702342a82bc59eb54ee9c810ca759804eee864fb650aaf0da9518d16749d73
|
47 |
·-··-··-·6f702342a82bc59eb54ee9c810ca759804eee864fb650aaf0da9518d16749d73
|
48 |
FILELINKTOS:·
|
48 |
FILELINKTOS:·
|
49 |
·-··-·/usr/share/texlive/licenses/lppl1.txt·-·
|
49 |
·-··-·/usr/share/texlive/licenses/lppl1.txt·-·
|
50 |
FILEFLAGS:·
|
50 |
FILEFLAGS:·
|
51 |
·-·0·-·2·-·0
|
51 |
·-·0·-·2·-·0
|
52 |
FILEUSERNAME:·
|
52 |
FILEUSERNAME:·
|