Offset 1, 28 lines modified |
Offset 1, 28 lines modified |
1 |
HEADERIMMUTABLE:·0000003b00004d8e0000003f0000000700004d7e0000001000000064000000080000000000000001000003e8000000060000000200000001000003e9000000060000000e00000001000003ea000000060000001c00000001000003eb000000040000002400000001000003ec000000090000002800000001000003ed000000090000005a00000001000003ee00000004000001f800000001000003ef00000006000001fc00000001000003f1000000040000021800000001000003f6000000060000021c00000001000003f8000000090000022500000001000003fc000000060000023d00000001000003fd000000060000025500000001000003fe000000060000025b00000001000004000000000600000262000000010000040200000006000002c30000000100000404000000040000033c000000030000040600000003000003480000000300000409000000030000034e000000030000040a0000000400000354000000030000040b0000000800000360000000030000040c00000008000003a3000000030000040d00000004000003d0000000030000040f00000008000003dc000000030000041000000008000003eb000000030000041400000006000003fa0000000100000415000000040000042800000003000004170000000800000434000000030000041800000004000004580000000·✂
|
1 |
HEADERIMMUTABLE:·0000003b00004d8e0000003f0000000700004d7e0000001000000064000000080000000000000001000003e8000000060000000200000001000003e9000000060000000e00000001000003ea000000060000001c00000001000003eb000000040000002400000001000003ec000000090000002800000001000003ed000000090000005a00000001000003ee00000004000001f800000001000003ef00000006000001fc00000001000003f1000000040000021800000001000003f6000000060000021c00000001000003f8000000090000022500000001000003fc000000060000023d00000001000003fd000000060000025500000001000003fe000000060000025b00000001000004000000000600000262000000010000040200000006000002c30000000100000404000000040000033c000000030000040600000003000003480000000300000409000000030000034e000000030000040a0000000400000354000000030000040b0000000800000360000000030000040c00000008000003a3000000030000040d00000004000003d0000000030000040f00000008000003dc000000030000041000000008000003eb000000030000041400000006000003fa0000000100000415000000040000042800000003000004170000000800000434000000030000041800000004000004580000000·✂
|
2 |
HEADERI18NTABLE:·
|
2 |
HEADERI18NTABLE:·
|
3 |
·-·C
|
3 |
·-·C
|
4 |
SIGSIZE:·25326
|
4 |
SIGSIZE:·25330
|
5 |
SIGMD5:·cf07e8bdd35389ffb690c4a4aa26d3f8
|
5 |
SIGMD5:·01b704ad7a12e409153139790d9c2759
|
6 |
SHA1HEADER:·917aa1840c5ac849e212374d1378f3d2f7879825
|
6 |
SHA1HEADER:·8f58f4d073f7a837eb242f780823dbaabacce030
|
7 |
NAME:·texlive-drs
|
7 |
NAME:·texlive-drs
|
8 |
VERSION:·svn19232.1.1b
|
8 |
VERSION:·svn19232.1.1b
|
9 |
RELEASE:·14.fc23
|
9 |
RELEASE:·14.fc23
|
10 |
EPOCH:·4
|
10 |
EPOCH:·4
|
11 |
SUMMARY:·Typeset·Discourse·Representation·Structures·(DRS)
|
11 |
SUMMARY:·Typeset·Discourse·Representation·Structures·(DRS)
|
12 |
DESCRIPTION:·The·package·draws·Discourse·Representation·Structures·(DRSs).
|
12 |
DESCRIPTION:·The·package·draws·Discourse·Representation·Structures·(DRSs).
|
13 |
It·can·draw·embedded·DRSs,·if-then·conditions·and
|
13 |
It·can·draw·embedded·DRSs,·if-then·conditions·and
|
14 |
quantificational·"duplex·conditions"·(with·a·properly·scaled
|
14 |
quantificational·"duplex·conditions"·(with·a·properly·scaled
|
15 |
connecting·diamond).·Formatting·parameters·allow·the·user·to
|
15 |
connecting·diamond).·Formatting·parameters·allow·the·user·to
|
16 |
control·the·appearance·and·placement·of·DRSs,·and·of·DRS
|
16 |
control·the·appearance·and·placement·of·DRSs,·and·of·DRS
|
17 |
variables·and·conditions.·The·package·is·based·on·DRS·macros·in
|
17 |
variables·and·conditions.·The·package·is·based·on·DRS·macros·in
|
18 |
the·covington·package.
|
18 |
the·covington·package.
|
|
|
19 |
date:·2010-07-03·21:56:37·+0200
|
19 |
date:·2010-07-03·21:56:37·+0200
|
20 |
BUILDTIME:·1457114745
|
20 |
BUILDTIME:·1457118633
|
21 |
BUILDHOST:·profitbricks-build3-amd64
|
21 |
BUILDHOST:·profitbricks-build3-amd64
|
22 |
SIZE:·11058
|
22 |
SIZE:·11058
|
23 |
LICENSE:·LPPL·1.3
|
23 |
LICENSE:·LPPL·1.3
|
24 |
GROUP:·Applications/Publishing
|
24 |
GROUP:·Applications/Publishing
|
25 |
URL:·http://tug.org/texlive/
|
25 |
URL:·http://tug.org/texlive/
|
26 |
OS:·linux
|
26 |
OS:·linux
|
27 |
ARCH:·noarch
|
27 |
ARCH:·noarch
|
Offset 40, 15 lines modified |
Offset 40, 15 lines modified |
40 |
FILESIZES:·
|
40 |
FILESIZES:·
|
41 |
·-·4096·-·39·-·11058
|
41 |
·-·4096·-·39·-·11058
|
42 |
FILEMODES:·
|
42 |
FILEMODES:·
|
43 |
·-·16877·-·41471·-·33188
|
43 |
·-·16877·-·41471·-·33188
|
44 |
FILERDEVS:·
|
44 |
FILERDEVS:·
|
45 |
·-·0·-·0·-·0
|
45 |
·-·0·-·0·-·0
|
46 |
FILEMTIMES:·
|
46 |
FILEMTIMES:·
|
47 |
·-·1457114375·-·1457111579·-·1278284768
|
47 |
·-·1457118331·-·1457116054·-·1278284768
|
48 |
FILEMD5S:·
|
48 |
FILEMD5S:·
|
49 |
·-··-··-·29b8b25dd1e4afc1bc649fc30a0feaceb7096e2deb742f6b0c321fb50ecad3de
|
49 |
·-··-··-·29b8b25dd1e4afc1bc649fc30a0feaceb7096e2deb742f6b0c321fb50ecad3de
|
50 |
FILELINKTOS:·
|
50 |
FILELINKTOS:·
|
51 |
·-··-·/usr/share/texlive/licenses/lppl1.3.txt·-·
|
51 |
·-··-·/usr/share/texlive/licenses/lppl1.3.txt·-·
|
52 |
FILEFLAGS:·
|
52 |
FILEFLAGS:·
|
53 |
·-·0·-·2·-·0
|
53 |
·-·0·-·2·-·0
|
54 |
FILEUSERNAME:·
|
54 |
FILEUSERNAME:·
|