Parents (Total: 13)

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

Key	Value
MD5	80AB89F5520204A72C0E923C1D39DA1D
PackageArch	x86_64
PackageDescription	The Coq proof assistant provides a formal language to write mathematical definitions, executable algorithms, and theorems, together with an environment for semi-interactive development of machine-checked proofs. Typical applications include the certification of properties of programming languages (e.g., the CompCert compiler certification project and the Bedrock verified low-level programming library), the formalization of mathematics (e.g., the full formalization of the Feit-Thompson theorem and homotopy type theory) and teaching.
PackageName	ocaml-coq
PackageRelease	1.d_l_ocaml.1
PackageVersion	8.15.0
SHA-1	CB08792B3FBB6A4DA24F62FA58B3F2B06898C233
SHA-256	7795600B3DC1334220C3570565C63DCBFFBD1EFA12BCA284AFBA5AE5961EB970

Key	Value
MD5	5E150D7528478C2A86E60DF66D973E82
PackageArch	armv7hl
PackageDescription	The Coq proof assistant provides a formal language to write mathematical definitions, executable algorithms, and theorems, together with an environment for semi-interactive development of machine-checked proofs. Typical applications include the certification of properties of programming languages (e.g., the CompCert compiler certification project and the Bedrock verified low-level programming library), the formalization of mathematics (e.g., the full formalization of the Feit-Thompson theorem and homotopy type theory) and teaching.
PackageName	ocaml-coq
PackageRelease	1.3
PackageVersion	8.15.0
SHA-1	8B2C7012E018882B0543A3BE9871E0647D48484A
SHA-256	74E07804E91CF227997791493BD5E5AF4244F3FF1B3B8A80B94211D54C69D31C

Key	Value
MD5	2BB79B0680AB826457967233F194D6CB
PackageArch	i586
PackageDescription	The Coq proof assistant provides a formal language to write mathematical definitions, executable algorithms, and theorems, together with an environment for semi-interactive development of machine-checked proofs. Typical applications include the certification of properties of programming languages (e.g., the CompCert compiler certification project and the Bedrock verified low-level programming library), the formalization of mathematics (e.g., the full formalization of the Feit-Thompson theorem and homotopy type theory) and teaching.
PackageName	ocaml-coq
PackageRelease	1.4
PackageVersion	8.15.0
SHA-1	BC87BF2CA6D0153902ACC130EDE80D6A17DCE5C9
SHA-256	24880A9C7519690D65E554F3411331BFCFC27A57197BA5A781FB4E962C58F9E6

Key	Value
MD5	15A1B2C3085CD71F3359AA6297373060
PackageArch	riscv64
PackageDescription	The Coq proof assistant provides a formal language to write mathematical definitions, executable algorithms, and theorems, together with an environment for semi-interactive development of machine-checked proofs. Typical applications include the certification of properties of programming languages (e.g., the CompCert compiler certification project and the Bedrock verified low-level programming library), the formalization of mathematics (e.g., the full formalization of the Feit-Thompson theorem and homotopy type theory) and teaching.
PackageName	ocaml-coq
PackageRelease	1.d_l_ocaml.6
PackageVersion	8.15.0
SHA-1	750005414925B5EAC5EB839B914FD5FBB77466DB
SHA-256	D4BF29DA5BFAEFE04FEC2238ADCF52AD908D053F90BAB15C137C504BB5FE682E

Key	Value
MD5	69C88C378C4F614DA7899031D1622CEA
PackageArch	x86_64
PackageDescription	The Coq proof assistant provides a formal language to write mathematical definitions, executable algorithms, and theorems, together with an environment for semi-interactive development of machine-checked proofs. Typical applications include the certification of properties of programming languages (e.g., the CompCert compiler certification project and the Bedrock verified low-level programming library), the formalization of mathematics (e.g., the full formalization of the Feit-Thompson theorem and homotopy type theory) and teaching.
PackageName	ocaml-coq
PackageRelease	1.d_l_ocaml.6
PackageVersion	8.15.0
SHA-1	ECC27789E245E8ACC85B17CD9A8508506CB8680F
SHA-256	D231DF12C91A17E62DA112A1F00235CBDDAF236A357724ADAD1FD6600387F3CF

Key	Value
MD5	449A4C7363A2F8591188A5C0D63256D9
PackageArch	x86_64
PackageDescription	The Coq proof assistant provides a formal language to write mathematical definitions, executable algorithms, and theorems, together with an environment for semi-interactive development of machine-checked proofs. Typical applications include the certification of properties of programming languages (e.g., the CompCert compiler certification project and the Bedrock verified low-level programming library), the formalization of mathematics (e.g., the full formalization of the Feit-Thompson theorem and homotopy type theory) and teaching.
PackageName	ocaml-coq
PackageRelease	lp150.1.1
PackageVersion	8.15.0
SHA-1	CD26202553BF46C6D34E736A8514EEB1CA0249EE
SHA-256	5B6868C8A6E943EFBE9F2CBE0099C7C74CBA036E2F062D8B44BAEB99E1834102

Key	Value
MD5	174F6C7DF146F4665AE241F42FEC3EEE
PackageArch	x86_64
PackageDescription	The Coq proof assistant provides a formal language to write mathematical definitions, executable algorithms, and theorems, together with an environment for semi-interactive development of machine-checked proofs. Typical applications include the certification of properties of programming languages (e.g., the CompCert compiler certification project and the Bedrock verified low-level programming library), the formalization of mathematics (e.g., the full formalization of the Feit-Thompson theorem and homotopy type theory) and teaching.
PackageName	ocaml-coq
PackageRelease	1.d_l_ocaml.2
PackageVersion	8.15.0
SHA-1	7CD6D3A847E96A82DD139D6E4E99182F76EFD087
SHA-256	C45E04067136783DDC469206600A7DAF71A7EB25DCFE14A65849C1144823F4D9

Key	Value
MD5	6D8820A5FE46154DB1CB1D0E46ACA3B9
PackageArch	x86_64
PackageDescription	The Coq proof assistant provides a formal language to write mathematical definitions, executable algorithms, and theorems, together with an environment for semi-interactive development of machine-checked proofs. Typical applications include the certification of properties of programming languages (e.g., the CompCert compiler certification project and the Bedrock verified low-level programming library), the formalization of mathematics (e.g., the full formalization of the Feit-Thompson theorem and homotopy type theory) and teaching.
PackageName	ocaml-coq
PackageRelease	lp151.1.1
PackageVersion	8.15.0
SHA-1	C91BB175393846005D04768298FAAEB6246E9FFF
SHA-256	945FEEE17DE1B43C2282951AAAB81260C1C6E9C512F8BEBB318FF380689D3954

Key	Value
MD5	87C9261F3F8660F3E90B6C757D9AD8C6
PackageArch	i586
PackageDescription	The Coq proof assistant provides a formal language to write mathematical definitions, executable algorithms, and theorems, together with an environment for semi-interactive development of machine-checked proofs. Typical applications include the certification of properties of programming languages (e.g., the CompCert compiler certification project and the Bedrock verified low-level programming library), the formalization of mathematics (e.g., the full formalization of the Feit-Thompson theorem and homotopy type theory) and teaching.
PackageName	ocaml-coq
PackageRelease	1.d_l_ocaml.6
PackageVersion	8.15.0
SHA-1	73B8613CB706A3EBF172484BC1C80D9F3A11DEE6
SHA-256	43EEB87CE40B867912570C7A2418B94380C879B6AACCFF0FAFBED73671AE22AC

Key	Value
MD5	923753B7861CE2EFBD6CE954D5FE03B0
PackageArch	armv6hl
PackageDescription	The Coq proof assistant provides a formal language to write mathematical definitions, executable algorithms, and theorems, together with an environment for semi-interactive development of machine-checked proofs. Typical applications include the certification of properties of programming languages (e.g., the CompCert compiler certification project and the Bedrock verified low-level programming library), the formalization of mathematics (e.g., the full formalization of the Feit-Thompson theorem and homotopy type theory) and teaching.
PackageName	ocaml-coq
PackageRelease	1.d_l_ocaml.6
PackageVersion	8.15.0
SHA-1	62116C3C0BC3B0AAA1546412C6D98DEAF729FF06
SHA-256	2D50CCB34058DBBF16EF8039AC7E5D582A803D5CCE76FE61606F689584291281

Key	Value
MD5	6514C51C9AFCDB1402605D6B584AEA44
PackageArch	x86_64
PackageDescription	The Coq proof assistant provides a formal language to write mathematical definitions, executable algorithms, and theorems, together with an environment for semi-interactive development of machine-checked proofs. Typical applications include the certification of properties of programming languages (e.g., the CompCert compiler certification project and the Bedrock verified low-level programming library), the formalization of mathematics (e.g., the full formalization of the Feit-Thompson theorem and homotopy type theory) and teaching.
PackageName	ocaml-coq
PackageRelease	1.4
PackageVersion	8.15.0
SHA-1	987F21D19F363B9AE538D8F16BD7C5E9A557B855
SHA-256	7EF83A473681E80009DB8BD878C997A94B3318E58341F04FA71482A1708CCCBD

Key	Value
MD5	3D10459F5C1464A72D72F4E46F91FCF5
PackageArch	armv7hl
PackageDescription	The Coq proof assistant provides a formal language to write mathematical definitions, executable algorithms, and theorems, together with an environment for semi-interactive development of machine-checked proofs. Typical applications include the certification of properties of programming languages (e.g., the CompCert compiler certification project and the Bedrock verified low-level programming library), the formalization of mathematics (e.g., the full formalization of the Feit-Thompson theorem and homotopy type theory) and teaching.
PackageName	ocaml-coq
PackageRelease	1.d_l_ocaml.6
PackageVersion	8.15.0
SHA-1	D54954D75CDDF45DAD9AEE465664E166AD236146
SHA-256	BF536B1D2D09EA85E4D98883605188294E1C8BDCA31DF8B822224A7F563AAC28

Key	Value
MD5	6C25EEE22E5FFC474DF50978475EA750
PackageArch	x86_64
PackageDescription	The Coq proof assistant provides a formal language to write mathematical definitions, executable algorithms, and theorems, together with an environment for semi-interactive development of machine-checked proofs. Typical applications include the certification of properties of programming languages (e.g., the CompCert compiler certification project and the Bedrock verified low-level programming library), the formalization of mathematics (e.g., the full formalization of the Feit-Thompson theorem and homotopy type theory) and teaching.
PackageName	ocaml-coq
PackageRelease	1.d_l_ocaml.1
PackageVersion	8.15.0
SHA-1	C1C14F991E26C2DAAA262F01DF4A0D8879DC4060
SHA-256	8058D69FFB9753519A15083D2C00F839F1AFE1783215622D3D194FD373ED510A