Offset 1, 26 lines modified |
Offset 1, 26 lines modified |
1 |
HEADERIMMUTABLE:·0000003b00004d9a0000003f0000000700004d8a0000001000000064000000080000000000000001000003e8000000060000000200000001000003e9000000060000001000000001000003ea000000060000001d00000001000003eb000000040000002800000001000003ec000000090000002c00000001000003ed000000090000005700000001000003ee000000040000019400000001000003ef000000060000019800000001000003f100000004000001b400000001000003f600000006000001b800000001000003f800000009000001c700000001000003fc00000006000001df00000001000003fd00000006000001f700000001000003fe00000006000001fd0000000100000400000000060000020400000001000004020000000600000265000000010000040400000004000002e0000000030000040600000003000002ec000000030000040900000003000002f2000000030000040a00000004000002f8000000030000040b0000000800000304000000030000040c00000008000003c7000000030000040d00000004000003cc000000030000040f00000008000003d8000000030000041000000008000003e7000000030000041400000006000003f60000000100000415000000040000042400000003000004170000000800000430000000050000041800000004000004700000000·✂
|
1 |
HEADERIMMUTABLE:·0000003b00004d9a0000003f0000000700004d8a0000001000000064000000080000000000000001000003e8000000060000000200000001000003e9000000060000001000000001000003ea000000060000001d00000001000003eb000000040000002800000001000003ec000000090000002c00000001000003ed000000090000005700000001000003ee000000040000019400000001000003ef000000060000019800000001000003f100000004000001b400000001000003f600000006000001b800000001000003f800000009000001c700000001000003fc00000006000001df00000001000003fd00000006000001f700000001000003fe00000006000001fd0000000100000400000000060000020400000001000004020000000600000265000000010000040400000004000002e0000000030000040600000003000002ec000000030000040900000003000002f2000000030000040a00000004000002f8000000030000040b0000000800000304000000030000040c00000008000003c7000000030000040d00000004000003cc000000030000040f00000008000003d8000000030000041000000008000003e7000000030000041400000006000003f60000000100000415000000040000042400000003000004170000000800000430000000050000041800000004000004700000000·✂
|
2 |
HEADERI18NTABLE:·
|
2 |
HEADERI18NTABLE:·
|
3 |
·-·C
|
3 |
·-·C
|
4 |
SIGSIZE:·24442
|
4 |
SIGSIZE:·24442
|
5 |
SIGMD5:·eb840a2eed61a454fa8391adbe07ba27
|
5 |
SIGMD5:·91e3e6b18213155feb84771ca8d094dd
|
6 |
SHA1HEADER:·ab186038d86f4d0b4e3bc4151dc4863dfaf0bd6d
|
6 |
SHA1HEADER:·9b4ce5b70ab16c577e8d392f3060c71248e8af41
|
7 |
NAME:·texlive-plweb
|
7 |
NAME:·texlive-plweb
|
8 |
VERSION:·svn15878.3.0
|
8 |
VERSION:·svn15878.3.0
|
9 |
RELEASE:·14.fc23
|
9 |
RELEASE:·14.fc23
|
10 |
EPOCH:·4
|
10 |
EPOCH:·4
|
11 |
SUMMARY:·Literate·Programming·for·Prolog·with·LaTeX
|
11 |
SUMMARY:·Literate·Programming·for·Prolog·with·LaTeX
|
12 |
DESCRIPTION:·Instead·of·having·to·transform·the·common·source·into·program
|
12 |
DESCRIPTION:·Instead·of·having·to·transform·the·common·source·into·program
|
13 |
or·documentation,·the·central·idea·was·to·develop·a·method·to
|
13 |
or·documentation,·the·central·idea·was·to·develop·a·method·to
|
14 |
have·one·common·source·which·can·be·interpreted·by·a·Prolog
|
14 |
have·one·common·source·which·can·be·interpreted·by·a·Prolog
|
15 |
system·as·well·as·by·LaTeX,·whether·that·Prolog·system·be·C-
|
15 |
system·as·well·as·by·LaTeX,·whether·that·Prolog·system·be·C-
|
16 |
Prolog,·Quintus-Prolog,·or·ECLiPSe.
|
16 |
Prolog,·Quintus-Prolog,·or·ECLiPSe.
|
|
|
17 |
date:·2008-09-11·18:52:21·+0200
|
17 |
date:·2008-09-11·18:52:21·+0200
|
18 |
BUILDTIME:·1457114745
|
18 |
BUILDTIME:·1457118633
|
19 |
BUILDHOST:·profitbricks-build3-amd64
|
19 |
BUILDHOST:·profitbricks-build3-amd64
|
20 |
SIZE:·9892
|
20 |
SIZE:·9892
|
21 |
LICENSE:·Copyright·only
|
21 |
LICENSE:·Copyright·only
|
22 |
GROUP:·Applications/Publishing
|
22 |
GROUP:·Applications/Publishing
|
23 |
URL:·http://tug.org/texlive/
|
23 |
URL:·http://tug.org/texlive/
|
24 |
OS:·linux
|
24 |
OS:·linux
|
25 |
ARCH:·noarch
|
25 |
ARCH:·noarch
|