Parents (Total: 11)

The searched file hash is included in 11 parent files which include package known and seen by metalookup. A sample is included below:

Key	Value
FileSize	7989080
MD5	BA66B5841D5C2BC3C97B6A6505205EE6
PackageDescription	Proof assistant for higher-order logic 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/>.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	coq
PackageSection	devel
PackageVersion	7.3.1-3
SHA-1	17521099BCA2F8397D28B8E52985F9E210C575D6
SHA-256	8C9E017AA0C81ABD200EE8B009B7799405DE713A16F4304A9A3B3648ABE4E050

Key	Value
FileSize	7829404
MD5	130B1C8349D14BD84069674F506A2DD8
PackageDescription	Proof assistant for higher-order logic 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/>.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	coq
PackageSection	devel
PackageVersion	7.3.1-3
SHA-1	FB1C1C862B6B91BD588DE02189D2025ADF7C2771
SHA-256	74798BB5F98FCB19E1A444878669D8DA469D6C56CD6B566A840C2F1BAC55F658

Key	Value
FileName	https://ftp.lysator.liu.se/pub/OpenBSD//3.6//packages//alpha//coq-7.3.1p0.tgz
MD5	BF77F557EA7B8F9151A2F734381E8ED3
SHA-1	3E12BBF04321F80E2F7DC72D21352C280CD742FF
SHA-256	714A1F8F9919958906F68F9EECDFAF41190A81832EAE25280F9CE753989F48F5
SSDEEP	196608:XD+mo/daeNgufRW3XvYA5boTBTHONh+ksMuXwBCjhfAJA32aIrwufqUUeJR7j8Zq:T+Qggvd5bodiNh2MG6OhJ3NIrNfqUnJX
TLSH	T10DA633B9CB825E16A601BBB85542332DA48B4D1CB583FC9F1BD17A89A9C0FD310D539F

Key	Value
FileName	https://ftp.lysator.liu.se/pub/OpenBSD//3.7//packages//sparc64//coq-7.3.1p0.tgz
MD5	7109F1A0E9C9242EB45116B8109530BC
SHA-1	F533AE33732E804C2AF3A3389DA3F80CCE9A2EC3
SHA-256	F1FFDE8EF3770F79301C1B10CF511B93F5B26DBF9841FAC88F517D64D0B7587E
SSDEEP	196608:fing9FlDNr8yoLbNbd2P5m+RUrZnSUVG1u6jJc7wfNRA0K:figRDCXNR2iF3G1u6j4
TLSH	T16C76336C40FD7C2324A4C64DA05C7FFF769AD9299A15F6954830ADE9F85C2840B283FE

Key	Value
FileName	https://ftp.lysator.liu.se/pub/OpenBSD//3.6//packages//sparc64//coq-7.3.1p0.tgz
MD5	6F3583043D1DAF684D2D74AC6B42961A
SHA-1	9DDE775C6A7A1F865DFC71704CFBD6D84F65EBF0
SHA-256	618FB6BD66D430B941120C4166DF53BC745544AE010AA04D8FCAE891CF94386F
SSDEEP	196608:Ii/I88zdT9E6ApKwFsXQsFUEg0r5trexuX:5w3TwUcEg01tKS
TLSH	T1017633F6F7A00113D04C8552CFEC4ACAFF8D218312AACFB4D4E64D5D5A2911DBE282E9

Key	Value
FileSize	7590800
MD5	7B6F44F5CABF975D1A0B9E013FAD3D05
PackageDescription	Proof assistant for higher-order logic 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/>.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	coq
PackageSection	devel
PackageVersion	7.3.1-3
SHA-1	EC54F41B8E29E9BB5F9E1BF73BC7588CEE05EA29
SHA-256	F5146796BDE341F1E3E530FC6EA2275B801CC8A12D19C867C6697202C4807145

Key	Value
FileName	https://ftp.lysator.liu.se/pub/OpenBSD//3.7//packages//alpha//coq-7.3.1p0.tgz
MD5	46E21D5EA8A218687931452DAA30666A
SHA-1	FAF7CCEF3ACDE133BAF5FC9441904524B3C8FA12
SHA-256	998D43F5AD60A5528E35BE7719645DB5D93DC9681A9B5B96827E323CDA3A12AA
SSDEEP	196608:zUcUV0NAZU0953J7DXpApcBCAnLjohzIYVFUK:KGSO0953d9L8hzt2K
TLSH	T1D8A63336B1459D433E8E25C250FE0F98CC649BE53066715A9DF305AA8CA7CF6F36224B

Key	Value
FileName	https://ftp.lysator.liu.se/pub/OpenBSD//3.5//packages//sparc64//coq-7.3.1p0.tgz
MD5	C8731EE42812D192B02E121B36316DE1
SHA-1	25EB5F081EA5598050FB8158DC841F19B89ABD2D
SHA-256	922090055AFCC143D1FB8484DEB2D6439B749B1D2E3148EC4A5C8390AC6FC64F
SSDEEP	196608:HpdiQCxGsreH5MktTMNlsd4n5BQqG77uEUCRDis:JdjqxfNlFkp9UCRDZ
TLSH	T1897633AAB7FC4C67D25427A04D1F23DF072026A9D93B6D224C64E69DAF7160E23C0B57

Key	Value
FileName	https://ftp.lysator.liu.se/pub/OpenBSD//3.7//packages//i386//coq-7.3.1p0.tgz
MD5	D2D498EB257827AC1FACA6121F5EAF80
SHA-1	46D83AC55C3286FE2E1318DC28DAA05E6B961452
SHA-256	086FC18DE43D83F4C66DD51FF8B514DD933CCF792E8A432ABD99079BF888226B
SSDEEP	196608:JA+GWGuPYH4rDQV9N2i2NtcB1eyDjsacCOccBYIvZ8bVCEbGAuBIPs:Jklc3PcNjwksac3BYIvObVCEbG7ws
TLSH	T1079633EEDA924D704D40DFAB5B65D63D848864127ABAB10708F814CAFCF45BB6B0712F

Key	Value
FileName	https://ftp.lysator.liu.se/pub/OpenBSD//3.5//packages//powerpc//coq-7.3.1p0.tgz
MD5	93EBE7A9B796CC4974A1CDD74E2A03A9
SHA-1	0A5DED90686A5A30EED8704054FC259788B3F5A8
SHA-256	D07483EB7C8582750A1E38A2277FA1090EA697D6369A321F4DAF160BE4F96C3B
SSDEEP	196608:uJ8dnwm0vGJ/b8MiWs0jXZQhPeBTftGqPl5iu3n0pscs+arc19:Q8dD/Jj8Knjpu+Zl5iY0pJJgA
TLSH	T13076332CD4843D87963ED4C9AF48E3D266A8F2B0156DF0BEDFB08C1609C431F4B5669A

Key	Value
FileName	https://ftp.lysator.liu.se/pub/OpenBSD//3.5//packages//i386//coq-7.3.1p0.tgz
MD5	8923A75576E1E5F1799CB3A6C289918B
SHA-1	41DC13A35238044C7C0DEEABEC68B24382B98DFE
SHA-256	CC597A374CE91FBC9D495D4DEFA56096C0199B12D84C3BA3ABB172F24A7B2F22
SSDEEP	196608:McGSYBktkJPx056YZNJlNNeEV2rPxPDXN6Rrb+zBHuhj:Mc0kkJPoRlNNq5PDXN6haVHe
TLSH	T1EB96339793D35A6F328DD4A7044F9DE1E765A101220B38E73A27E6382F4140E993F77A