Offset 1, 25 lines modified |
Offset 1, 25 lines modified |
1 |
HEADERIMMUTABLE:·0000003b00004d0e0000003f0000000700004cfe0000001000000064000000080000000000000001000003e8000000060000000200000001000003e9000000060000001200000001000003ea000000060000001d00000001000003eb000000040000002800000001000003ec000000090000002c00000001000003ed000000090000007400000001000003ee000000040000017000000001000003ef000000060000017400000001000003f1000000040000019000000001000003f6000000060000019400000001000003f8000000090000019800000001000003fc00000006000001b000000001000003fd00000006000001c800000001000003fe00000006000001ce000000010000040000000006000001d500000001000004020000000600000236000000010000040400000004000002b0000000030000040600000003000002bc000000030000040900000003000002c2000000030000040a00000004000002c8000000030000040b00000008000002d4000000030000040c0000000800000317000000030000040d0000000400000340000000030000040f000000080000034c0000000300000410000000080000035b0000000300000414000000060000036a00000001000004150000000400000398000000030000041700000008000003a4000000030000041800000004000003d00000000·✂
|
1 |
HEADERIMMUTABLE:·0000003b00004d0e0000003f0000000700004cfe0000001000000064000000080000000000000001000003e8000000060000000200000001000003e9000000060000001200000001000003ea000000060000001d00000001000003eb000000040000002800000001000003ec000000090000002c00000001000003ed000000090000007400000001000003ee000000040000017000000001000003ef000000060000017400000001000003f1000000040000019000000001000003f6000000060000019400000001000003f8000000090000019800000001000003fc00000006000001b000000001000003fd00000006000001c800000001000003fe00000006000001ce000000010000040000000006000001d500000001000004020000000600000236000000010000040400000004000002b0000000030000040600000003000002bc000000030000040900000003000002c2000000030000040a00000004000002c8000000030000040b00000008000002d4000000030000040c0000000800000317000000030000040d0000000400000340000000030000040f000000080000034c0000000300000410000000080000035b0000000300000414000000060000036a00000001000004150000000400000398000000030000041700000008000003a4000000030000041800000004000003d00000000·✂
|
2 |
HEADERI18NTABLE:·
|
2 |
HEADERI18NTABLE:·
|
3 |
·-·C
|
3 |
·-·C
|
4 |
SIGSIZE:·23946
|
4 |
SIGSIZE:·23946
|
5 |
SIGMD5:·9ca0c1d295182a6b4e36096203187e78
|
5 |
SIGMD5:·9a9f360d5e106d1e32ad82122fc3140e
|
6 |
SHA1HEADER:·b60806401903e37dced11e2f8effa088310f4968
|
6 |
SHA1HEADER:·28b3fd472d12f2a9e40f8945a4abb9e2f5e3e050
|
7 |
NAME:·texlive-tex-ewd
|
7 |
NAME:·texlive-tex-ewd
|
8 |
VERSION:·svn15878.0
|
8 |
VERSION:·svn15878.0
|
9 |
RELEASE:·14.fc23
|
9 |
RELEASE:·14.fc23
|
10 |
EPOCH:·4
|
10 |
EPOCH:·4
|
11 |
SUMMARY:·Macros·to·typeset·calculational·proofs·and·programs·in·Dijkstra's·style
|
11 |
SUMMARY:·Macros·to·typeset·calculational·proofs·and·programs·in·Dijkstra's·style
|
12 |
DESCRIPTION:·Edsger·W.·Dijkstra·and·others·suggest·a·unique·style·to·present
|
12 |
DESCRIPTION:·Edsger·W.·Dijkstra·and·others·suggest·a·unique·style·to·present
|
13 |
mathematical·proofs·and·to·construct·programs.·This·package
|
13 |
mathematical·proofs·and·to·construct·programs.·This·package
|
14 |
provides·macros·that·support·calculational·proofs·and
|
14 |
provides·macros·that·support·calculational·proofs·and
|
15 |
Dijkstra's·"guarded·command·language".
|
15 |
Dijkstra's·"guarded·command·language".
|
|
|
16 |
date:·2008-11-15·12:33:11·+0100
|
16 |
date:·2008-11-15·12:33:11·+0100
|
17 |
BUILDTIME:·1457114745
|
17 |
BUILDTIME:·1457118633
|
18 |
BUILDHOST:·profitbricks-build3-amd64
|
18 |
BUILDHOST:·profitbricks-build3-amd64
|
19 |
SIZE:·7400
|
19 |
SIZE:·7400
|
20 |
LICENSE:·BSD
|
20 |
LICENSE:·BSD
|
21 |
GROUP:·Applications/Publishing
|
21 |
GROUP:·Applications/Publishing
|
22 |
URL:·http://tug.org/texlive/
|
22 |
URL:·http://tug.org/texlive/
|
23 |
OS:·linux
|
23 |
OS:·linux
|
24 |
ARCH:·noarch
|
24 |
ARCH:·noarch
|
Offset 37, 15 lines modified |
Offset 37, 15 lines modified |
37 |
FILESIZES:·
|
37 |
FILESIZES:·
|
38 |
·-·4096·-·35·-·7400
|
38 |
·-·4096·-·35·-·7400
|
39 |
FILEMODES:·
|
39 |
FILEMODES:·
|
40 |
·-·16877·-·41471·-·33188
|
40 |
·-·16877·-·41471·-·33188
|
41 |
FILERDEVS:·
|
41 |
FILERDEVS:·
|
42 |
·-·0·-·0·-·0
|
42 |
·-·0·-·0·-·0
|
43 |
FILEMTIMES:·
|
43 |
FILEMTIMES:·
|
44 |
·-·1457114617·-·1457111579·-·1226450616
|
44 |
·-·1457118528·-·1457116054·-·1226450616
|
45 |
FILEMD5S:·
|
45 |
FILEMD5S:·
|
46 |
·-··-··-·30b9620ee5c786d939b9c6fa6444f0bf9ef2b7904c2f1abcecfd7b422d4e00ae
|
46 |
·-··-··-·30b9620ee5c786d939b9c6fa6444f0bf9ef2b7904c2f1abcecfd7b422d4e00ae
|
47 |
FILELINKTOS:·
|
47 |
FILELINKTOS:·
|
48 |
·-··-·/usr/share/texlive/licenses/bsd.txt·-·
|
48 |
·-··-·/usr/share/texlive/licenses/bsd.txt·-·
|
49 |
FILEFLAGS:·
|
49 |
FILEFLAGS:·
|
50 |
·-·0·-·2·-·0
|
50 |
·-·0·-·2·-·0
|
51 |
FILEUSERNAME:·
|
51 |
FILEUSERNAME:·
|