Offset 1, 28 lines modified |
Offset 1, 28 lines modified |
1 |
HEADERIMMUTABLE:·0000003b000058320000003f00000007000058220000001000000064000000080000000000000001000003e8000000060000000200000001000003e9000000060000001300000001000003ea000000060000001f00000001000003eb000000040000002800000001000003ec000000090000002c00000001000003ed000000090000004f00000001000003ee000000040000021800000001000003ef000000060000021c00000001000003f1000000040000023800000001000003f6000000060000023c00000001000003f8000000090000024100000001000003fc000000060000025900000001000003fd000000060000027100000001000003fe00000006000002770000000100000400000000060000027e000000010000040200000006000002df00000001000004040000000400000358000000120000040600000003000003a0000000120000040900000003000003c4000000120000040a00000004000003e8000000120000040b0000000800000430000000120000040c0000000800000842000000120000040d000000040000087c000000120000040f00000008000008c40000001200000410000000080000091e00000012000004140000000600000978000000010000041500000004000009a8000000120000041700000008000009f000000012000004180000000400000b500000001·✂
|
1 |
HEADERIMMUTABLE:·0000003b000058320000003f00000007000058220000001000000064000000080000000000000001000003e8000000060000000200000001000003e9000000060000001300000001000003ea000000060000001f00000001000003eb000000040000002800000001000003ec000000090000002c00000001000003ed000000090000004f00000001000003ee000000040000021800000001000003ef000000060000021c00000001000003f1000000040000023800000001000003f6000000060000023c00000001000003f8000000090000024100000001000003fc000000060000025900000001000003fd000000060000027100000001000003fe00000006000002770000000100000400000000060000027e000000010000040200000006000002df00000001000004040000000400000358000000120000040600000003000003a0000000120000040900000003000003c4000000120000040a00000004000003e8000000120000040b0000000800000430000000120000040c0000000800000842000000120000040d000000040000087c000000120000040f00000008000008c40000001200000410000000080000091e00000012000004140000000600000978000000010000041500000004000009a8000000120000041700000008000009f000000012000004180000000400000b500000001·✂
|
2 |
HEADERI18NTABLE:·
|
2 |
HEADERI18NTABLE:·
|
3 |
·-·C
|
3 |
·-·C
|
4 |
SIGSIZE:·36206
|
4 |
SIGSIZE:·36206
|
5 |
SIGMD5:·b28d40f243319b1b3418723bb66d2084
|
5 |
SIGMD5:·87eb9b0d183226d6807cac289434daea
|
6 |
SHA1HEADER:·f3761782d4251a9b8568a9c9544fa69b08047f5d
|
6 |
SHA1HEADER:·5d7a42f71b8b8c23579423c08db7fedc6e896a97
|
7 |
NAME:·texlive-thmtools
|
7 |
NAME:·texlive-thmtools
|
8 |
VERSION:·svn26251.62
|
8 |
VERSION:·svn26251.62
|
9 |
RELEASE:·14.fc23
|
9 |
RELEASE:·14.fc23
|
10 |
EPOCH:·4
|
10 |
EPOCH:·4
|
11 |
SUMMARY:·Extensions·to·theorem·environments
|
11 |
SUMMARY:·Extensions·to·theorem·environments
|
12 |
DESCRIPTION:·The·bundle·provides·several·packages·for·commonly-needed
|
12 |
DESCRIPTION:·The·bundle·provides·several·packages·for·commonly-needed
|
13 |
support·for·typesetting·theorems.·The·packages·should·work·with
|
13 |
support·for·typesetting·theorems.·The·packages·should·work·with
|
14 |
kernel·theorems·(theorems·'out·of·the·box'·with·LaTeX),·and·the
|
14 |
kernel·theorems·(theorems·'out·of·the·box'·with·LaTeX),·and·the
|
15 |
theorem·and·amsthm·packages.·Features·of·the·bundle·include:·-
|
15 |
theorem·and·amsthm·packages.·Features·of·the·bundle·include:·-
|
16 |
a·key-value·interface·to·\newtheorem;·-·a·\listoftheorems
|
16 |
a·key-value·interface·to·\newtheorem;·-·a·\listoftheorems
|
17 |
command;·-·hyperref·and·autoref·compatibility;·-·a·mechanism
|
17 |
command;·-·hyperref·and·autoref·compatibility;·-·a·mechanism
|
18 |
for·restating·entire·theorems·in·a·single·macro·call.
|
18 |
for·restating·entire·theorems·in·a·single·macro·call.
|
|
|
19 |
date:·2012-04-27·11:57:13·+0200
|
19 |
date:·2012-04-27·11:57:13·+0200
|
20 |
BUILDTIME:·1457114745
|
20 |
BUILDTIME:·1457118633
|
21 |
BUILDHOST:·profitbricks-build3-amd64
|
21 |
BUILDHOST:·profitbricks-build3-amd64
|
22 |
SIZE:·60677
|
22 |
SIZE:·60677
|
23 |
LICENSE:·LPPL
|
23 |
LICENSE:·LPPL
|
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·-·37·-·2126·-·1611·-·4597·-·3168·-·1772·-·12882·-·5161·-·2587·-·3537·-·6786·-·7823·-·1053·-·2182·-·1144·-·1824·-·2424
|
41 |
·-·4096·-·37·-·2126·-·1611·-·4597·-·3168·-·1772·-·12882·-·5161·-·2587·-·3537·-·6786·-·7823·-·1053·-·2182·-·1144·-·1824·-·2424
|
42 |
FILEMODES:·
|
42 |
FILEMODES:·
|
43 |
·-·16877·-·41471·-·33188·-·33188·-·33188·-·33188·-·33188·-·33188·-·33188·-·33188·-·33188·-·33188·-·33188·-·33188·-·33188·-·33188·-·33188·-·33188
|
43 |
·-·16877·-·41471·-·33188·-·33188·-·33188·-·33188·-·33188·-·33188·-·33188·-·33188·-·33188·-·33188·-·33188·-·33188·-·33188·-·33188·-·33188·-·33188
|
44 |
FILERDEVS:·
|
44 |
FILERDEVS:·
|
45 |
·-·0·-·0·-·0·-·0·-·0·-·0·-·0·-·0·-·0·-·0·-·0·-·0·-·0·-·0·-·0·-·0·-·0·-·0
|
45 |
·-·0·-·0·-·0·-·0·-·0·-·0·-·0·-·0·-·0·-·0·-·0·-·0·-·0·-·0·-·0·-·0·-·0·-·0
|
46 |
FILEMTIMES:·
|
46 |
FILEMTIMES:·
|
47 |
·-·1457114575·-·1457111579·-·1336431177·-·1336431177·-·1336431177·-·1336431177·-·1336431177·-·1336431177·-·1336431177·-·1336431177·-·1336431177·-·1336431177·-·1336431177·-·1336431177·-·1336431177·-·1336431177·-·1336431177·-·1336431177
|
47 |
·-·1457118494·-·1457116054·-·1336431177·-·1336431177·-·1336431177·-·1336431177·-·1336431177·-·1336431177·-·1336431177·-·1336431177·-·1336431177·-·1336431177·-·1336431177·-·1336431177·-·1336431177·-·1336431177·-·1336431177·-·1336431177
|
48 |
FILEMD5S:·
|
48 |
FILEMD5S:·
|
49 |
·-··-··-·a41bc9dff003b44dce0688f1f0a5cd26dec9169f163cc90300b5234e4b4d8614·-·97ef08bc220815f2165e37bcb2c011733025834499475d17c1f978f93b1f9e75·-·f618deb3c3a870446bfe6efc94ff8db1b3c18c9ca6b37a00327ce7acad5f4574·-·cd85e8e0606f28fbff7d0b43f8939fed40e99a0de763571cac504f3fba2e8726·-·44f1789a6e7badecb964fbef0999b26116ba0501da82c58ba45e4052c12c0794·-·89e5ae8c0215d67dc8a9f7a56358f82e7ff7ec39c49b36144723096fb599e3e0·-·b742573e19fdaae689cc81f0280ed6ac180f1bb54ed42f7ccabc4c8960ab6d34·-·dfaa9af7d893883656e172fbe101bb2545dd2a8f5141afb2790908fbfbc8bf09·-·de61d7679967203db0ff24e1d9c01e0675cca885460decb14c684ff15b6fdad1·-·36527f073de74a35c08aa9398af2d5264571e76a91fa8039fdd38e16d8cc594d·-·e4de02bcad5403b28828b97c50086b7a7148e99e10de456917e88a367b344857·-·44eb69f36f560ac395ab255b721a5d2116d4aba5d9845df439b064b9622aee24·-·af58ef155df7d65e7ca29f41ead309a36b55074ad41ca54f2fa6f62eff9265fa·-·ecc0c5efea4a20f3f48ad55afbf3ee5afb7d86627e4d883bd828c6d75aa8d80c·-·97d5e4def35e2eb495f68146c3d8333c2e5b84e13099cb808d227b7db18e6e3e·-·73749eacd4·✂
|
49 |
·-··-··-·a41bc9dff003b44dce0688f1f0a5cd26dec9169f163cc90300b5234e4b4d8614·-·97ef08bc220815f2165e37bcb2c011733025834499475d17c1f978f93b1f9e75·-·f618deb3c3a870446bfe6efc94ff8db1b3c18c9ca6b37a00327ce7acad5f4574·-·cd85e8e0606f28fbff7d0b43f8939fed40e99a0de763571cac504f3fba2e8726·-·44f1789a6e7badecb964fbef0999b26116ba0501da82c58ba45e4052c12c0794·-·89e5ae8c0215d67dc8a9f7a56358f82e7ff7ec39c49b36144723096fb599e3e0·-·b742573e19fdaae689cc81f0280ed6ac180f1bb54ed42f7ccabc4c8960ab6d34·-·dfaa9af7d893883656e172fbe101bb2545dd2a8f5141afb2790908fbfbc8bf09·-·de61d7679967203db0ff24e1d9c01e0675cca885460decb14c684ff15b6fdad1·-·36527f073de74a35c08aa9398af2d5264571e76a91fa8039fdd38e16d8cc594d·-·e4de02bcad5403b28828b97c50086b7a7148e99e10de456917e88a367b344857·-·44eb69f36f560ac395ab255b721a5d2116d4aba5d9845df439b064b9622aee24·-·af58ef155df7d65e7ca29f41ead309a36b55074ad41ca54f2fa6f62eff9265fa·-·ecc0c5efea4a20f3f48ad55afbf3ee5afb7d86627e4d883bd828c6d75aa8d80c·-·97d5e4def35e2eb495f68146c3d8333c2e5b84e13099cb808d227b7db18e6e3e·-·73749eacd4·✂
|
50 |
FILELINKTOS:·
|
50 |
FILELINKTOS:·
|
51 |
·-··-·/usr/share/texlive/licenses/lppl1.txt·-··-··-··-··-··-··-··-··-··-··-··-··-··-··-··-·
|
51 |
·-··-·/usr/share/texlive/licenses/lppl1.txt·-··-··-··-··-··-··-··-··-··-··-··-··-··-··-··-·
|
52 |
FILEFLAGS:·
|
52 |
FILEFLAGS:·
|
53 |
·-·0·-·2·-·0·-·0·-·0·-·0·-·0·-·0·-·0·-·0·-·0·-·0·-·0·-·0·-·0·-·0·-·0·-·0
|
53 |
·-·0·-·2·-·0·-·0·-·0·-·0·-·0·-·0·-·0·-·0·-·0·-·0·-·0·-·0·-·0·-·0·-·0·-·0
|
54 |
FILEUSERNAME:·
|
54 |
FILEUSERNAME:·
|