Offset 1, 24 lines modified |
Offset 1, 24 lines modified |
1 |
HEADERIMMUTABLE:·0000003b000050160000003f00000007000050060000001000000064000000080000000000000001000003e8000000060000000200000001000003e9000000060000001300000001000003ea000000060000002000000001000003eb000000040000002800000001000003ec000000090000002c00000001000003ed000000090000005c00000001000003ee000000040000010000000001000003ef000000060000010400000001000003f1000000040000012000000001000003f6000000060000012400000001000003f8000000090000012900000001000003fc000000060000014100000001000003fd000000060000015900000001000003fe000000060000015f00000001000004000000000600000166000000010000040200000006000001c7000000010000040400000004000002400000000800000406000000030000026000000008000004090000000300000270000000080000040a0000000400000280000000080000040b00000008000002a0000000080000040c0000000800000428000000080000040d0000000400000458000000080000040f0000000800000478000000080000041000000008000004a0000000080000041400000006000004c8000000010000041500000004000004f800000008000004170000000800000518000000080000041800000004000005a40000000·✂
|
1 |
HEADERIMMUTABLE:·0000003b000050160000003f00000007000050060000001000000064000000080000000000000001000003e8000000060000000200000001000003e9000000060000001300000001000003ea000000060000002000000001000003eb000000040000002800000001000003ec000000090000002c00000001000003ed000000090000005c00000001000003ee000000040000010000000001000003ef000000060000010400000001000003f1000000040000012000000001000003f6000000060000012400000001000003f8000000090000012900000001000003fc000000060000014100000001000003fd000000060000015900000001000003fe000000060000015f00000001000004000000000600000166000000010000040200000006000001c7000000010000040400000004000002400000000800000406000000030000026000000008000004090000000300000270000000080000040a0000000400000280000000080000040b00000008000002a0000000080000040c0000000800000428000000080000040d0000000400000458000000080000040f0000000800000478000000080000041000000008000004a0000000080000041400000006000004c8000000010000041500000004000004f800000008000004170000000800000518000000080000041800000004000005a40000000·✂
|
2 |
HEADERI18NTABLE:·
|
2 |
HEADERI18NTABLE:·
|
3 |
·-·C
|
3 |
·-·C
|
4 |
SIGSIZE:·28106
|
4 |
SIGSIZE:·28102
|
5 |
SIGMD5:·70c6629aad983c6df0e3e95389c6f10c
|
5 |
SIGMD5:·0cbd2ea4cab2e46d64996bc57b45b81e
|
6 |
SHA1HEADER:·105836237f6d68ced0f014e15b37eac9b260cc53
|
6 |
SHA1HEADER:·31f8a80b3bc6920d10c172a3017900090c624316
|
7 |
NAME:·texlive-semantic
|
7 |
NAME:·texlive-semantic
|
8 |
VERSION:·svn15878.2.0
|
8 |
VERSION:·svn15878.2.0
|
9 |
RELEASE:·14.fc23
|
9 |
RELEASE:·14.fc23
|
10 |
EPOCH:·4
|
10 |
EPOCH:·4
|
11 |
SUMMARY:·Help·for·writing·programming·language·semantics
|
11 |
SUMMARY:·Help·for·writing·programming·language·semantics
|
12 |
DESCRIPTION:·Eases·the·typesetting·of·notation·of·semantics·and·compilers.
|
12 |
DESCRIPTION:·Eases·the·typesetting·of·notation·of·semantics·and·compilers.
|
13 |
Includes·T-diagrams,·various·derivation·symbols·and·inference
|
13 |
Includes·T-diagrams,·various·derivation·symbols·and·inference
|
14 |
trees.
|
14 |
trees.
|
|
|
15 |
date:·2007-01-15·20:26:34·+0100
|
15 |
date:·2007-01-15·20:26:34·+0100
|
16 |
BUILDTIME:·1457114745
|
16 |
BUILDTIME:·1457118633
|
17 |
BUILDHOST:·profitbricks-build3-amd64
|
17 |
BUILDHOST:·profitbricks-build3-amd64
|
18 |
SIZE:·29528
|
18 |
SIZE:·29528
|
19 |
LICENSE:·LPPL
|
19 |
LICENSE:·LPPL
|
20 |
GROUP:·Applications/Publishing
|
20 |
GROUP:·Applications/Publishing
|
21 |
URL:·http://tug.org/texlive/
|
21 |
URL:·http://tug.org/texlive/
|
22 |
OS:·linux
|
22 |
OS:·linux
|
23 |
ARCH:·noarch
|
23 |
ARCH:·noarch
|
Offset 36, 15 lines modified |
Offset 36, 15 lines modified |
36 |
FILESIZES:·
|
36 |
FILESIZES:·
|
37 |
·-·4096·-·37·-·6054·-·6847·-·2816·-·4821·-·3436·-·5554
|
37 |
·-·4096·-·37·-·6054·-·6847·-·2816·-·4821·-·3436·-·5554
|
38 |
FILEMODES:·
|
38 |
FILEMODES:·
|
39 |
·-·16877·-·41471·-·33188·-·33188·-·33188·-·33188·-·33188·-·33188
|
39 |
·-·16877·-·41471·-·33188·-·33188·-·33188·-·33188·-·33188·-·33188
|
40 |
FILERDEVS:·
|
40 |
FILERDEVS:·
|
41 |
·-·0·-·0·-·0·-·0·-·0·-·0·-·0·-·0
|
41 |
·-·0·-·0·-·0·-·0·-·0·-·0·-·0·-·0
|
42 |
FILEMTIMES:·
|
42 |
FILEMTIMES:·
|
43 |
·-·1457114546·-·1457111579·-·1152319513·-·1152319513·-·1152319513·-·1152319513·-·1152319513·-·1152319513
|
43 |
·-·1457118470·-·1457116054·-·1152319513·-·1152319513·-·1152319513·-·1152319513·-·1152319513·-·1152319513
|
44 |
FILEMD5S:·
|
44 |
FILEMD5S:·
|
45 |
·-··-··-·43a119990d2785973d1c538918a4e8d0f3faa79b9975bc08722b46078f178436·-·b02c0d84401448288577b6526112f891a0dae2e9ec7e23439346e1648f01e809·-·bf143714b266f240db0f9860f67d5fe0b218a8c42fc39e2c12a389dce9be4ee9·-·3d7046e0f1318119e9c6133a67676884139372289db85a94e9054212515212e7·-·033a881f7c67137c9bbf4b8db05b648443992eefbe5d9bab40eae1d7331d113e·-·710839e3aee0d0c9606573962254362e2644c1ba981c4e43314b4cb271895fad
|
45 |
·-··-··-·43a119990d2785973d1c538918a4e8d0f3faa79b9975bc08722b46078f178436·-·b02c0d84401448288577b6526112f891a0dae2e9ec7e23439346e1648f01e809·-·bf143714b266f240db0f9860f67d5fe0b218a8c42fc39e2c12a389dce9be4ee9·-·3d7046e0f1318119e9c6133a67676884139372289db85a94e9054212515212e7·-·033a881f7c67137c9bbf4b8db05b648443992eefbe5d9bab40eae1d7331d113e·-·710839e3aee0d0c9606573962254362e2644c1ba981c4e43314b4cb271895fad
|
46 |
FILELINKTOS:·
|
46 |
FILELINKTOS:·
|
47 |
·-··-·/usr/share/texlive/licenses/lppl1.txt·-··-··-··-··-··-·
|
47 |
·-··-·/usr/share/texlive/licenses/lppl1.txt·-··-··-··-··-··-·
|
48 |
FILEFLAGS:·
|
48 |
FILEFLAGS:·
|
49 |
·-·0·-·2·-·0·-·0·-·0·-·0·-·0·-·0
|
49 |
·-·0·-·2·-·0·-·0·-·0·-·0·-·0·-·0
|
50 |
FILEUSERNAME:·
|
50 |
FILEUSERNAME:·
|