Parents (Total: 18)

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

Key	Value
FileSize	23922476
MD5	686F81E24B8278005A3FCA5D10E10700
PackageDescription	proof assistant for higher-order logic (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 Camlp5. . This package provides existing theories that new proofs can be based upon, including theories of arithmetic and Boolean values.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	coq-theories
PackageSection	math
PackageVersion	8.12.0-3+b3
SHA-1	2596C731572E541DE19892DC4CA7FFD78B053767
SHA-256	E4AFCF667E6D1B64D94BD30CFA02EDA0308AD63753E4AA89FF50B6297C745BB7

Key	Value
FileSize	23914852
MD5	321527C2B1256F104792A1D4F30A1AE4
PackageDescription	proof assistant for higher-order logic (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 Camlp5. . This package provides existing theories that new proofs can be based upon, including theories of arithmetic and Boolean values.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	coq-theories
PackageSection	math
PackageVersion	8.12.0-3+b3
SHA-1	46D6F9D897B7C724368EFE35FC81A57243D57B65
SHA-256	D25340DBB91EC828BA6A71546630A7738F8131084502FB39B786DCF6C715D657

Key	Value
FileSize	23920460
MD5	7A484AE4C357467A934393463D5C28E1
PackageDescription	proof assistant for higher-order logic (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 Camlp5. . This package provides existing theories that new proofs can be based upon, including theories of arithmetic and Boolean values.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	coq-theories
PackageSection	math
PackageVersion	8.12.0-3+b3
SHA-1	5BA5F84C9D588AB73BF2E3D15A6066E309388E33
SHA-256	A30AC9DBF4A09E746884E6BD42C069A33708334D9DBF8A1DC14866F9C4706CFB

Key	Value
FileSize	23913512
MD5	BB9006D39AF878892BCB32C9FD16B2A7
PackageDescription	proof assistant for higher-order logic (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 Camlp5. . This package provides existing theories that new proofs can be based upon, including theories of arithmetic and Boolean values.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	coq-theories
PackageSection	math
PackageVersion	8.12.0-3+b3
SHA-1	5D4DC9BF2112F606A3AAB303ADA1C99FACC4BC27
SHA-256	C856E3EF2BF9EE0EF5AA265788853D7A5296DD829E950289C175DD12535C6A9B

Key	Value
FileSize	23918664
MD5	1DEEFB763D2A83AEC13464F88DFF060B
PackageDescription	proof assistant for higher-order logic (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 Camlp5. . This package provides existing theories that new proofs can be based upon, including theories of arithmetic and Boolean values.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	coq-theories
PackageSection	math
PackageVersion	8.12.0-3+b3
SHA-1	631F7FBDDFAEBF71440BFD41D17272A33E61A2CC
SHA-256	121A0BF54D92512700C5DD95222E4C778532E49BC6164C2596DB8BA7EB3EA9C3

Key	Value
FileSize	23916828
MD5	E0A31C05DB4A85257FE0E0B53AC4903D
PackageDescription	proof assistant for higher-order logic (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 Camlp5. . This package provides existing theories that new proofs can be based upon, including theories of arithmetic and Boolean values.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	coq-theories
PackageSection	math
PackageVersion	8.12.0-3+b2
SHA-1	6643F28AC6F1C66E7D6CC0A11B45D04F24A234B1
SHA-256	D655C538ADBFC8CF92245EFC1E18AC8A59B6DAC92C54CB950C9E94A165EF6E82

Key	Value
FileSize	23918208
MD5	B3E0F361C267D49F0992653BA8D4136C
PackageDescription	proof assistant for higher-order logic (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 Camlp5. . This package provides existing theories that new proofs can be based upon, including theories of arithmetic and Boolean values.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	coq-theories
PackageSection	math
PackageVersion	8.12.0-3+b1
SHA-1	6E6B1EFB4D1BAE588AF9633BE4205EC6AB057DC3
SHA-256	16E146854F3C9BD0CF7D737776403E0AAC8715BED4678FE39A21B6F5D71A58EC

Key	Value
FileSize	23918744
MD5	B1E3683175A29CF39DF1A4B680FD4254
PackageDescription	proof assistant for higher-order logic (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 Camlp5. . This package provides existing theories that new proofs can be based upon, including theories of arithmetic and Boolean values.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	coq-theories
PackageSection	math
PackageVersion	8.12.0-3+b2
SHA-1	7735D439AE9D68B24FD1EAF442C771F2DA292C54
SHA-256	3696AF1705C071D735180049CF00DF7A3C01E06C3398467AFE219B2468798C7B

Key	Value
FileSize	36501836
MD5	2E5FF9F9DAD61A672688908C5AD7FAD1
PackageDescription	proof assistant for higher-order logic (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 Camlp5. . This package provides existing theories that new proofs can be based upon, including theories of arithmetic and Boolean values.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	coq-theories
PackageSection	math
PackageVersion	8.12.0-3+b3
SHA-1	7FBCE5F002FCCCAEE29A88394468811C7113ADDF
SHA-256	25BC2FE7ACD55AEF14E2CB145B77CF5D2E8BB7A607FB19512EDB8A0A6DEFEA24

Key	Value
FileSize	23925860
MD5	BAE88949785ED84953BBE89736E1477A
PackageDescription	proof assistant for higher-order logic (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 Camlp5. . This package provides existing theories that new proofs can be based upon, including theories of arithmetic and Boolean values.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	coq-theories
PackageSection	math
PackageVersion	8.12.0-3+b3
SHA-1	807069B90D78BFD9B0C412869FA898A0F5ACC777
SHA-256	847DE9E730A3DAE1C2D6BE8ECD7A3B4A61E2712D91032A811F74B3A3BB978291