Offset 1, 24 lines modified |
Offset 1, 24 lines modified |
1 |
HEADERIMMUTABLE:·0000003b00004bea0000003f0000000700004bda0000001000000064000000080000000000000001000003e8000000060000000200000001000003e9000000060000001500000001000003ea000000060000002200000001000003eb000000040000002c00000001000003ec000000090000003000000001000003ed000000090000004c00000001000003ee000000040000011400000001000003ef000000060000011800000001000003f1000000040000013400000001000003f6000000060000013800000001000003f8000000090000014200000001000003fc000000060000015a00000001000003fd000000060000017200000001000003fe00000006000001780000000100000400000000060000017f000000010000040200000006000001e0000000010000040400000004000002580000000100000406000000030000025c0000000100000409000000030000025e000000010000040a0000000400000260000000010000040b0000000800000264000000010000040c00000008000002a5000000010000040d00000004000002a8000000010000040f00000008000002ac000000010000041000000008000002b1000000010000041400000006000002b6000000010000041500000004000002e4000000010000041700000008000002e8000000030000041800000004000003200000000·✂
|
1 |
HEADERIMMUTABLE:·0000003b00004bea0000003f0000000700004bda0000001000000064000000080000000000000001000003e8000000060000000200000001000003e9000000060000001500000001000003ea000000060000002200000001000003eb000000040000002c00000001000003ec000000090000003000000001000003ed000000090000004c00000001000003ee000000040000011400000001000003ef000000060000011800000001000003f1000000040000013400000001000003f6000000060000013800000001000003f8000000090000014200000001000003fc000000060000015a00000001000003fd000000060000017200000001000003fe00000006000001780000000100000400000000060000017f000000010000040200000006000001e0000000010000040400000004000002580000000100000406000000030000025c0000000100000409000000030000025e000000010000040a0000000400000260000000010000040b0000000800000264000000010000040c00000008000002a5000000010000040d00000004000002a8000000010000040f00000008000002ac000000010000041000000008000002b1000000010000041400000006000002b6000000010000041500000004000002e4000000010000041700000008000002e8000000030000041800000004000003200000000·✂
|
2 |
HEADERI18NTABLE:·
|
2 |
HEADERI18NTABLE:·
|
3 |
·-·C
|
3 |
·-·C
|
4 |
SIGSIZE:·22178
|
4 |
SIGSIZE:·22178
|
5 |
SIGMD5:·652c9a9da17df11260139152d3bc2905
|
5 |
SIGMD5:·a92fb413ed3545509ae0fd77c5a57432
|
6 |
SHA1HEADER:·31e6aa4723a68a12263505cab40aa32b8cdc0d74
|
6 |
SHA1HEADER:·e57bd0298462e0d5362ddb92649119e40be71e07
|
7 |
NAME:·texlive-gene-logic
|
7 |
NAME:·texlive-gene-logic
|
8 |
VERSION:·svn15878.1.4
|
8 |
VERSION:·svn15878.1.4
|
9 |
RELEASE:·14.fc23
|
9 |
RELEASE:·14.fc23
|
10 |
EPOCH:·4
|
10 |
EPOCH:·4
|
11 |
SUMMARY:·Typeset·logic·formulae,·etc
|
11 |
SUMMARY:·Typeset·logic·formulae,·etc
|
12 |
DESCRIPTION:·The·package·provides·a·facility·to·typeset·certain·logic
|
12 |
DESCRIPTION:·The·package·provides·a·facility·to·typeset·certain·logic
|
13 |
formulae.·It·provides·an·environment·like·eqnarray,·an·extended
|
13 |
formulae.·It·provides·an·environment·like·eqnarray,·an·extended
|
14 |
newtheorem·environment,·and·several·macros.
|
14 |
newtheorem·environment,·and·several·macros.
|
|
|
15 |
date:·2008-10-04·10:00:56·+0200
|
15 |
date:·2008-10-04·10:00:56·+0200
|
16 |
BUILDTIME:·1457114745
|
16 |
BUILDTIME:·1457118633
|
17 |
BUILDHOST:·profitbricks-build3-amd64
|
17 |
BUILDHOST:·profitbricks-build3-amd64
|
18 |
SIZE:·4639
|
18 |
SIZE:·4639
|
19 |
LICENSE:·Crossword
|
19 |
LICENSE:·Crossword
|
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
|