Offset 1, 13 lines modified |
Offset 1, 13 lines modified |
1 |
HEADERIMMUTABLE:·0000003b00004dfa0000003f0000000700004dea0000001000000064000000080000000000000001000003e8000000060000000200000001000003e9000000060000001500000001000003ea000000060000002200000001000003eb000000040000002c00000001000003ec000000090000003000000001000003ed000000090000006100000001000003ee000000040000024c00000001000003ef000000060000025000000001000003f1000000040000026c00000001000003f6000000060000027000000001000003f8000000090000027900000001000003fc000000060000029100000001000003fd00000006000002a900000001000003fe00000006000002af000000010000040000000006000002b600000001000004020000000600000317000000010000040400000004000003900000000300000406000000030000039c000000030000040900000003000003a2000000030000040a00000004000003a8000000030000040b00000008000003b4000000030000040c00000008000003f7000000030000040d0000000400000424000000030000040f00000008000004300000000300000410000000080000043f0000000300000414000000060000044e0000000100000415000000040000047c00000003000004170000000800000488000000030000041800000004000004c00000000·✂
|
1 |
HEADERIMMUTABLE:·0000003b00004dfa0000003f0000000700004dea0000001000000064000000080000000000000001000003e8000000060000000200000001000003e9000000060000001500000001000003ea000000060000002200000001000003eb000000040000002c00000001000003ec000000090000003000000001000003ed000000090000006100000001000003ee000000040000024c00000001000003ef000000060000025000000001000003f1000000040000026c00000001000003f6000000060000027000000001000003f8000000090000027900000001000003fc000000060000029100000001000003fd00000006000002a900000001000003fe00000006000002af000000010000040000000006000002b600000001000004020000000600000317000000010000040400000004000003900000000300000406000000030000039c000000030000040900000003000003a2000000030000040a00000004000003a8000000030000040b00000008000003b4000000030000040c00000008000003f7000000030000040d0000000400000424000000030000040f00000008000004300000000300000410000000080000043f0000000300000414000000060000044e0000000100000415000000040000047c00000003000004170000000800000488000000030000041800000004000004c00000000·✂
|
2 |
HEADERI18NTABLE:·
|
2 |
HEADERI18NTABLE:·
|
3 |
·-·C
|
3 |
·-·C
|
4 |
SIGSIZE:·29918
|
4 |
SIGSIZE:·29918
|
5 |
SIGMD5:·385cfb8ab6aacd533dc2dede657fb59f
|
5 |
SIGMD5:·a56c95ffadf789599d46772e26ec76a6
|
6 |
SHA1HEADER:·f172371d4b104c15ca6fc2e3d6cb7c3f780b1b00
|
6 |
SHA1HEADER:·a79d5e0b110758e82dcb500311272f7421849831
|
7 |
NAME:·texlive-bussproofs
|
7 |
NAME:·texlive-bussproofs
|
8 |
VERSION:·svn27488.1.1
|
8 |
VERSION:·svn27488.1.1
|
9 |
RELEASE:·14.fc23
|
9 |
RELEASE:·14.fc23
|
10 |
EPOCH:·4
|
10 |
EPOCH:·4
|
11 |
SUMMARY:·Proof·trees·in·the·style·of·the·sequent·calculus
|
11 |
SUMMARY:·Proof·trees·in·the·style·of·the·sequent·calculus
|
12 |
DESCRIPTION:·The·package·allows·the·construction·of·proof·trees·in·the·style
|
12 |
DESCRIPTION:·The·package·allows·the·construction·of·proof·trees·in·the·style
|
13 |
of·the·sequent·calculus·and·many·other·proof·systems.·One·novel
|
13 |
of·the·sequent·calculus·and·many·other·proof·systems.·One·novel
|
Offset 15, 15 lines modified |
Offset 15, 15 lines modified |
15 |
according·to·some·centre·point·specified·with·the·command
|
15 |
according·to·some·centre·point·specified·with·the·command
|
16 |
\fCenter.·This·is·the·style·often·used·in·sequent·calculus
|
16 |
\fCenter.·This·is·the·style·often·used·in·sequent·calculus
|
17 |
proofs.·The·package·works·in·a·Plain·TeX·document,·as·well·as
|
17 |
proofs.·The·package·works·in·a·Plain·TeX·document,·as·well·as
|
18 |
in·LaTeX;·an·exposition·of·the·commands·available·is·given·in
|
18 |
in·LaTeX;·an·exposition·of·the·commands·available·is·given·in
|
19 |
the·package·file·itself.
|
19 |
the·package·file·itself.
|
|
|
20 |
date:·2012-08-21·20:18:04·+0200
|
20 |
date:·2012-08-21·20:18:04·+0200
|
21 |
BUILDTIME:·1457114745
|
21 |
BUILDTIME:·1457118633
|
22 |
BUILDHOST:·profitbricks-build3-amd64
|
22 |
BUILDHOST:·profitbricks-build3-amd64
|
23 |
SIZE:·39833
|
23 |
SIZE:·39833
|
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·-·39833
|
42 |
·-·4096·-·39·-·39833
|
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 |
·-·1457112954·-·1457111579·-·1345588239
|
48 |
·-·1457117163·-·1457116054·-·1345588239
|
49 |
FILEMD5S:·
|
49 |
FILEMD5S:·
|
50 |
·-··-··-·4ee8bb0da632f7d9139499b214bf7dafd733c996ee3b4c5ebe87d74d01d3fc62
|
50 |
·-··-··-·4ee8bb0da632f7d9139499b214bf7dafd733c996ee3b4c5ebe87d74d01d3fc62
|
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:·
|