Result for 10BF8DE6B8525E32F1ED3B85386E556452DDFE6F

Search result
Graph view
Children (228)

Query result

Key Value
FileSize3807048
MD5BAE5282A01DC7F7E4CFB58270DC2AF6D
PackageDescriptionProof assistant for higher-order logic (Coq 7 theories) Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp4. For more information, see <http://coq.inria.fr/>. . This package provides existing theories from Coq 7 in Coq 8, and allows proofs that were developed in Coq 7 to be used in Coq 8. It is also required to translate theories in Coq 7 syntax into the new syntax introduced in Coq 8. However, this package does not need to be installed to use Coq 7.
PackageMaintainerDebian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageNamecoq7-libs
PackageSectionmath
PackageVersion8.0pl1-5
SHA-110BF8DE6B8525E32F1ED3B85386E556452DDFE6F
SHA-2560152E588B279BAC50EDF6EC477F858DB74B2BB5615A5E043486C98B952F9E6C9
hashlookup:children-total228
hashlookup:trust50

Network graph view

Children (Total: 228)

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

Key Value
FileName./usr/lib/coq/theories7/Logic/ClassicalDescription.vo
FileSize3334
MD543F6A3F337B88D1A0C4135FBDAE6D341
SHA-100AC51B9DDFB0E6806D6D6042DB45BA4B9B99626
SHA-256ECE469758ABFD514EA49E95F7808C89E25726E9169B8C39134829BBF7CBE958A
SSDEEP48:uWwDOmnhDk6zLh4uf5IglNxmHHOsqCtPS+UpStksmiXbhG4M1B6Guf:2DvnZk6zLh4uf5rrxo7A+U0tksmAQsf
TLSHT1E961A69BD1499CEB0CEF19FAFA7861E551BC00CC4158B7C40445C17AA8986AE2BAD4C9
Key Value
FileName./usr/lib/coq/theories7/Sets/Constructive_sets.vo
FileSize14470
MD5FF0D1D974A96BD776B54166764EDE030
SHA-103B7E7079AFC7379262E54736AF71DD7A79C50A9
SHA-256B9B3110D3BBA05949C4E0947BCB72F864B5D81D13FE9BC77A3A4AE610DA05FDD
SSDEEP384:0EHDnpy4UZVEm5au1MdMIEQgcz6o3r2qhY:0yLE4UZiQagMdM8tb2WY
TLSHT11E52A79FA93BE8768DFE35F361F0D164FB01705811BA63C04D04836DEAE555AC38A6AC
Key Value
FileName./usr/lib/coq/theories7/ZArith/Znat.vo
FileSize9869
MD5C86DA584BF109A6B27A7E8601D67D100
SHA-1046CC0EBB650F8346E162BB8027931951FE5F91E
SHA-256547DCE36B7743D0533030926E34B0B28258917C9811E5ACD8CEE57543E878324
SSDEEP192:i/+y2ROEa+uWXRMDZJfBzwJnTTVKILbC2uLkE0:O+y2U45RM9JfBfILS0
TLSHT19712F7CBD41959FD16ED95A62A7DB495C351008EC2B8CBE3950882F8FEEA37E03B1185
Key Value
FileName./usr/lib/coq/theories7/Arith/Wf_nat.vo
FileSize7934
MD552E870A974E257788331CD90BC163A2F
SHA-105C538CC769F780F7DE3DD00E24F3D38CE690F88
SHA-256EBB1F07F5103A4C25FB09AD1A13A3FA841C262C8A1B82478372CFFF32D07DE8C
SSDEEP192:vgPjDkn8RfSQC6/qtRmB28psqGfjucIjpLS7CDrTH+jWM:vgPHm8RKeAK28pTGfjucWoYrTeB
TLSHT10AF1B86FE65B2CFD15EE97F29321F472C754124C12B7A7A5090103ECADC93B6C398199
Key Value
FileName./usr/lib/coq/theories7/Reals/R_sqr.vo
FileSize30590
MD53D5B163FED1268C28F3B8A0AFC61FE72
SHA-105CBEAE24D781D32C427A36F651F5A4829C64AE0
SHA-2569E6F3C18D503FDE985F0C34D87D706B3AF16F8F053A5E9450004327D5DBDB6CC
SSDEEP768:sCSmtOV+rzsJlfvW4uHiX9C/FO8TWsF56VeGrwlbi:sxxeAJlfvW4uCtwWsFtGEi
TLSHT17CD2F88FA4252CFD5ADC59F6F6B8B095D542008EA27BC7D7490881FCEECA36E0378594
Key Value
FileName./usr/lib/coq/theories7/IntMap/Mapaxioms.vo
FileSize51410
MD50D64957616AF55F289B2A1EC3F9BEF6B
SHA-10693EE5D92EF535258B7CEB14B0B5A5CD39DFDC6
SHA-256EC878411DEDC99C80A5FF7DDCC7F7E9C22458B1EC3C0F22AD2A0A84E1BA3B983
SSDEEP768:9bBjEZRbe2Bpl+/8Mn+JXTMZpmxxwcMRMuVHl1rO1BOirW0wUAwQaEO6SF2zPm8I:9JEZDDl2A5T6kxxwcMBVHnCgwQaEWIo
TLSHT1B8332BBEE029BCBD49ED5DA49628F0D4F529104F21FB93F61D48C1789CC936B42B2668
Key Value
FileName./usr/lib/coq/theories7/Reals/Rbase.vo
FileSize3328
MD57F40BAA094AAC2E6891E214A83F791D7
SHA-1095D5CCB1C4D522EBEEE4BC0B7BC7F7BF47A1E81
SHA-25693C67498EB0A1370DF76ACDD56B4B170EC2BA3551F398E81FAE63D3ED07C46F8
SSDEEP48:qEzKfTjm26YXWZJV+h4Kr/bhpfGANUXkHqHROf3DOtIxuo4M5Z6da5I7g6O1NEhg:qEzUjm21WnVc4Krnf6UHWkDNueuOr2hg
TLSHT1D5612D5FE17459FD298EDC91BE7C31E9C186004DD5612739EA18C62EA89F57B03B6220
Key Value
FileName./usr/lib/coq/theories7/IntMap/Addec.vo
FileSize15939
MD56E8880D80970ABD8FDC72345B42EACE5
SHA-109C009756E654293C25B558AE3F470CB33BD7907
SHA-2565B8182C494920B92335221200E0E70B2037AB0B3E3FAFC493A1E34A4C39E2874
SSDEEP384:30RIBkeSASUmvmKzOJwQoy6c+hjGrdNkf5:4BRzOJwQoy/+F2QB
TLSHT17A62F88FC81C6DD879DE59E976EDB1D0D694004FA2BAD7C3680483FCEEE975A12B4084
Key Value
FileName./usr/lib/coq/theories7/Reals/Rtrigo_fun.vo
FileSize10754
MD5606377DB9C5B1CD453363554FF41B68E
SHA-10A20B2AEB050C10A933DA5071A1F4664D84F20C8
SHA-256F741486B63F8A9961603BE3EB4021DC1C717413F074B741579BF598955686CF0
SSDEEP192:MzxZdBgyLrdtJgMICIFIEqpWieupS+cYgdQjixzUjm2UHrth8jgp2Lo:ixZdfvV3I1I1pzeES+vgCKIjcrAjy
TLSHT10622C60AE4391AFD19EDAEE0FA34B2DAE082805C80771714EB14C67CA8DE5BF13B5064
Key Value
FileName./usr/lib/coq/theories7/IntMap/Lsort.vo
FileSize48000
MD566B30AE9D220FA8AD4BD36F4C70C607B
SHA-10B65D2E837EDC83615D46C265785B881FEA85392
SHA-256AD3E0AD66416789BEF6555876E59FB321E56ED91CDB34E539220962EB29857E1
SSDEEP768:ymoAYmIuuVcu976BpY3L0YSIOSsCazvsR6b25j7b6XxZQ8XmP9aotu2zbqWJ/cx:y3AYCuVeY3JSZzE4aaT70aWJbMx
TLSHT153231AADE128BCFD15ED2EE0D72894E15617048CD1FB03D92F49817CD8CE2AB487AAD5





metalookup is a service from miwakeru.com