Result for 0DE3D54C744029E2FC9E62EEFE09511E61A8D998

Query result

Key	Value
MD5	72A13A7C5887231F263C3E23D42757A4
PackageArch	noarch
PackageDescription	Coq is a formal proof management system. It allows for the development of theorems through first order logic that are mechanically checked by the machine. Sets of definitions and theorems can be saved as compiled modules and loaded into the system. This package provides documentation and tutorials for the system. The main documentation comes in two parts: the main Library documentation, which describes all Coq.* modules, and the Reference Manual, which gives a more complete description of the whole system. Included are also HTML versions of both. Furthermore, there are two tutorials, the main one, and one specifically on recursive types. The example code for the latter is also included.
PackageMaintainer	Fedora Project
PackageName	coq-doc
PackageRelease	1.fc24
PackageVersion	8.5pl1
SHA-1	0DE3D54C744029E2FC9E62EEFE09511E61A8D998
SHA-256	AD1C030778F66EC404F4F4328BBCD4221FC1C73C98CAC0648A35460C05A9EB96
hashlookup:children-total	892
hashlookup:trust	50

Network graph view

Children (Total: 892)

The searched file hash includes 892 children files known and seen by metalookup. A sample is included below:

Key	Value
FileName	./usr/share/doc/coq/html/RecTutorial.html
FileSize	186049
MD5	73A56BD655E24A98742BBB70913E822F
SHA-1	00198A8B46092CFF99F122556E3D2E32E160567A
SHA-256	72C8D3E761798524348AD7918D3BF0B6544C53631CA381B1EEFCFDAF0F02A74E
SSDEEP	1536:fw8hPpCseee7zeeerise1HeeZeee7Zeeee/eneeeee+eeteeeeeVeeSeeeeePeej:S9kkjaDB8BZNma47Hvm31XfU4AxBkZ6
TLSH	T14C04CA80D32A691240F3C8C9B14F2611A5A04E6CD3AD0C5177BCCA7BBEDD8757692ADF

Key	Value
FileName	./usr/share/doc/coq/html/stdlib/index_constructor_I.html
FileSize	52373
MD5	FF06A978F55FE3A5DF1CCE0AAE617346
SHA-1	0023150BBB823A4F015ED4A24578221D35C8A33E
SHA-256	D03F8062FA98B9A232363A9BB855644913175B26389B1BED55AD5FDE1B75BACC
SSDEEP	192:KpWEMf0jsJPgGJV7HXQsQJLeVYhV06CEM8e3QxcMVZWfykJA3kSggOmEMf0jsJPY:0CgsPctFckDg+gsPctFcS
TLSH	T13033790115C2207E9759B66E86B53D9926F35BF70B103C649E9FBC7FCEA27A0021D293

Key	Value
FileName	./usr/share/doc/coq/html/stdlib/Coq.micromega.Psatz.html
FileSize	18458
MD5	8E212D91700281133F7C17981456B243
SHA-1	0061E62956372298A9FE0D97F4741E58E72CEA24
SHA-256	EA70E2D5FAC5F7E533118C5697D4C8E312178E6A3FC41A65DA24255CC14B2733
SSDEEP	192:KpElyK0S0vnkq0vnk2mC0vnstMCv8U7pAIPqOwWs7pAXzMCvI591S:0EM+0vL0vV0vKMCJ7p87p+MCl
TLSH	T1BC82B9D843A2783749338AEA62FD5BAAF4E00A8DD4C94940F6FD06F706CDE647152873

Key	Value
FileName	./usr/share/doc/coq/html/stdlib/index_global_P.html
FileSize	397384
MD5	8E493717DE832AC25E0B35D9CD76C219
SHA-1	00BA713A2DB2324DEDAD6113BA493E17D0CF823E
SHA-256	D71DF37B87D56D430A7671D32FBFD874FD143AD8D0EAF617095B65C4402CED15
SSDEEP	3072:Xw0wdygy3yhy/aWzXvtvSapm3UsfgqNBW7x2sylA5:qygy3yhy/aWzXvtvSapmvBW7x2sylA5
TLSH	T155846AD530E1425ECB5A623A08BD7EAC716345E31C812C98F81F7957F967F0E22A91E3

Key	Value
FileName	./usr/share/doc/coq/html/stdlib/index_abbreviation_C.html
FileSize	21387
MD5	E9271A21DD893175B4CC0A66CC1244EE
SHA-1	00DE03B2C7ECA75ED179529A30E0DD3B2FA500ED
SHA-256	368D81BB28D368F8E818E18DD609FBFC7B7527DE52F4B415C00473098F2EE5C5
SSDEEP	192:KpWEMf0jsJPgGJV7HXQsQJLeVYhV06CEM8e3QxcMVZWfykJ5Rfe4xMBUd:0CgsPctFcdNMBUd
TLSH	T1FCA2474214D2646E46593A2E4AB47CA962F30BF55B247C40EF9FFC3FCAA2790121D393

Key	Value
FileName	./usr/share/doc/coq/html/stdlib/index_library_R.html
FileSize	40201
MD5	0E7783A260343077EF739312188FA704
SHA-1	00F9FDDA151EBAA0A2C19056AA4DED9C5FE22C58
SHA-256	DCE48FF07C9003A6ADBB052DE236D7FEE893EF9033A2B385B2AC5967A945E859
SSDEEP	192:KpWEMf0jsJPgGJV7HXQsQJLeVYhV06CEM8e3QxcMVZWfykJ390cAwGDkUDrMFSdw:0CgsPctFcqcPdnEDgsPctFcS
TLSH	T13F03D45214C2646E46597A2F4AB57CA962F31BF54B243C00EF9FFC7FCAA2790120D693

Key	Value
FileName	./usr/share/doc/coq-theories/html/Coq.setoid_ring.Ring_base.html
FileSize	1335
MD5	60AE13B5C1B198147B1DF4C31E8FB9AD
RDS:package_id	182052
SHA-1	011F9A6199D2B90932D0A4FD3C68522757632BE7
SHA-256	9D3ED0542CE5ECF5622F255770167BDE04805A76280D46FD00ABAE342504A6AC
SSDEEP	24:hUdsmIZ5fsplpoxVHpiK4bUbBRXmJHnYeRYJCRXNHjJaywYJCRXNHjXyXYJCRXm3:TmIDEplpEkBbUbKYg919w9+XGpqi
TLSH	T1272149A4A3A2593B59F28AE201E9B728F0C14A0BD0D54844F2FD57E3579EE50F0214A7
insert-timestamp	1679425894.0442767
source	RDS.db

Key	Value
FileName	./usr/share/doc/coq-theories/html/Coq.NArith.Ndec.html
FileSize	79316
MD5	893D8DA513EBEC51B73081129B449CFC
RDS:package_id	182052
SHA-1	016D462F4EDCFD71FE925BBC8DAD7B74C736BC1E
SHA-256	94DA696490A07499635ADA2D1A60B9456B9D2C37E8BFADC2641D3FCF2C39A070
SSDEEP	192:KpEvEiXTkR0q8mvh3TVP2eICthZBEmBB8By8EqjMZ0f4tshYYcTYUY/:0EjjF0EL
TLSH	T16373C5E443A2297B49B78AFA07FD6724F4E04D49F4858920F2FE46FA468DF14B651C23
insert-timestamp	1679425887.7768135
source	RDS.db

Key	Value
FileName	./usr/share/doc/coq-theories/html/Coq.setoid_ring.Rings_Q.html
FileSize	3758
MD5	3B99C7CB27F7721CD7305BDD8E237072
RDS:package_id	182052
SHA-1	018BAC335E23972A3142506FCA6688AC6195CE78
SHA-256	79617F9E061FB1FB29DA7876E0E9BB0C9F1589812E3612FFC8B7A3DB86BA293E
SSDEEP	96:jGpE6YV9cIWwI2Jly51QF515r5P5lFObAy1iWDG3Y7DzRrQXiCFl6vWb+epp:KpEL/QQJQDH53vS
TLSH	T15271F6E893B2187B9D738BF642F93B25F0E14A4AD4C50850F3ED1AE742CEE50B162567
insert-timestamp	1679425889.5798786
source	RDS.db

Key	Value
FileName	./usr/share/doc/coq-theories/html/Coq.Reals.Rtrigo_alt.html
FileSize	15421
MD5	25DBC866B8652ADEF62A830A27EAACEC
RDS:package_id	182052
SHA-1	01A873FA4063778EFA7C9344F58F4DCA841F39A5
SHA-256	8A962C703622A65D41515B2DAFA81B7EAEF408EB524656E7EBD05DB003269E4F
SSDEEP	192:KpExA6QJn//IlLpDQn/IlLODJlRpxMhX6yf:0EW6E/IlLpk/IlLOHX2hH
TLSH	T10D6227E943E219374A3387FA07FD2724F4E14E45E49A4D40F2EE49EA4A8DF207956D23
insert-timestamp	1679425887.4042132
source	RDS.db