Offset 1, 20 lines modified |
Offset 1, 20 lines modified |
1 |
HEADERIMMUTABLE:·0000003b00004b4a0000003f0000000700004b3a0000001000000064000000080000000000000001000003e8000000060000000200000001000003e9000000060000001500000001000003ea000000060000002000000001000003eb000000040000002800000001000003ec000000090000002c00000001000003ed000000090000003f00000001000003ee000000040000005400000001000003ef000000060000005800000001000003f1000000040000007400000001000003f6000000060000007800000001000003f8000000090000007d00000001000003fc000000060000009500000001000003fd00000006000000ad00000001000003fe00000006000000b3000000010000040000000006000000ba0000000100000402000000060000011b00000001000004040000000400000194000000010000040600000003000001980000000100000409000000030000019a000000010000040a000000040000019c000000010000040b00000008000001a0000000010000040c00000008000001e1000000010000040d00000004000001e4000000010000040f00000008000001e8000000010000041000000008000001ed000000010000041400000006000001f200000001000004150000000400000220000000010000041700000008000002240000000300000418000000040000025c0000000·✂
|
1 |
HEADERIMMUTABLE:·0000003b00004b4a0000003f0000000700004b3a0000001000000064000000080000000000000001000003e8000000060000000200000001000003e9000000060000001500000001000003ea000000060000002000000001000003eb000000040000002800000001000003ec000000090000002c00000001000003ed000000090000003f00000001000003ee000000040000005400000001000003ef000000060000005800000001000003f1000000040000007400000001000003f6000000060000007800000001000003f8000000090000007d00000001000003fc000000060000009500000001000003fd00000006000000ad00000001000003fe00000006000000b3000000010000040000000006000000ba0000000100000402000000060000011b00000001000004040000000400000194000000010000040600000003000001980000000100000409000000030000019a000000010000040a000000040000019c000000010000040b00000008000001a0000000010000040c00000008000001e1000000010000040d00000004000001e4000000010000040f00000008000001e8000000010000041000000008000001ed000000010000041400000006000001f200000001000004150000000400000220000000010000041700000008000002240000000300000418000000040000025c0000000·✂
|
2 |
HEADERI18NTABLE:·
|
2 |
HEADERI18NTABLE:·
|
3 |
·-·C
|
3 |
·-·C
|
4 |
SIGSIZE:·21934
|
4 |
SIGSIZE:·21934
|
5 |
SIGMD5:·bd560d4ea71f654de4ccc8164f55ece6
|
5 |
SIGMD5:·c8bc416df39925a13925e5482102b1f5
|
6 |
SHA1HEADER:·90f5503768b180bd9e1d3128f01e68d9bfbef28b
|
6 |
SHA1HEADER:·9c17b768adcf27fcede0ba854176c06b1a946303
|
7 |
NAME:·texlive-logicproof
|
7 |
NAME:·texlive-logicproof
|
8 |
VERSION:·svn33254.0
|
8 |
VERSION:·svn33254.0
|
9 |
RELEASE:·14.fc23
|
9 |
RELEASE:·14.fc23
|
10 |
EPOCH:·4
|
10 |
EPOCH:·4
|
11 |
SUMMARY:·logicproof·package
|
11 |
SUMMARY:·logicproof·package
|
12 |
DESCRIPTION:·logicproof·package
|
12 |
DESCRIPTION:·logicproof·package
|
13 |
BUILDTIME:·1457114745
|
13 |
BUILDTIME:·1457118633
|
14 |
BUILDHOST:·profitbricks-build3-amd64
|
14 |
BUILDHOST:·profitbricks-build3-amd64
|
15 |
SIZE:·4929
|
15 |
SIZE:·4929
|
16 |
LICENSE:·LPPL
|
16 |
LICENSE:·LPPL
|
17 |
GROUP:·Applications/Publishing
|
17 |
GROUP:·Applications/Publishing
|
18 |
URL:·http://tug.org/texlive/
|
18 |
URL:·http://tug.org/texlive/
|
19 |
OS:·linux
|
19 |
OS:·linux
|
20 |
ARCH:·noarch
|
20 |
ARCH:·noarch
|