Parents (Total: 17)

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

Key	Value
FileName	https://ftp.lysator.liu.se/pub/OpenBSD/6.6/packages//sparc64//frama-c-19.0p1.tgz
MD5	337043BA1B9EB0C5875CCC1D24DE39EB
SHA-1	075A9C546989EBF54C60F79D226A20B4F4AE18A7
SHA-256	AABA016376139E58896DB41B1853450F7B004FAF01B9AC6743E34C511A71C9A7
SSDEEP	3145728:gU6WIpPrGakx1SiLmg6DAd+Mkiy69zXfgQ:gYfx8MsDAwziffgQ
TLSH	T15E4833CD32856A27092D50F5E794E1BD3D7309A762B356D04F96EB95FC2C0B0BBD2A02

Key	Value
FileName	https://ftp.lysator.liu.se/pub/OpenBSD/6.7/packages//mips64//frama-c-19.0p2.tgz
MD5	865D4BF79F40FA99DA7A76AB9F8BD742
SHA-1	0B8B46E78E0B77602CACB83FE8F83D09DC30B202
SHA-256	4848662D75536AC9C45968EDFB4DDC0E4E54DDECBC0B416822704984ED43757B
SSDEEP	3145728:2YGU5NVVTIU1fRMnS+GR8+wHlpm5mAzOwklawgOheuDbx0hwI:75zVTJfRCHtlpqmBwk1gOheuI
TLSH	T12C4833ACF6549EDA3C4F81A1F4B6F7DD17D2924F882D6560CB2A7365392C1BA0F41E02

Key	Value
FileSize	35510708
MD5	C23DB4E462FF9715EA135C391E95F888
PackageDescription	Platform dedicated to the analysis of source code written in C (without gui) Frama-C gathers several analysis techniques in a single collaborative framework, based on analyzers (called "plug-ins") that can build upon the results computed by other analyzers in the framework. . Thanks to this approach, Frama-C provides sophisticated tools, including: * an analyzer based on abstract interpretation (Value plug-in); * a program proof framework based on weakest precondition calculus (WP plug-in); * a program slicer (Slicing plug-in); * a tool for verification of temporal (LTL) properties (Aoraï plug-in); * several tools for code base exploration and dependency analysis (plug-ins From, Impact, Metrics, Occurrence, Scope, etc.). . These plug-ins communicate between each other via the Frama-C API and via ACSL (ANSI/ISO C Specification Language) properties. . This package provides the library of Frama-c which is useful to build plugins for Frama-c and the command-line tools.
PackageMaintainer	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	frama-c-base
PackageSection	devel
PackageVersion	20191204+calcium-0.1
SHA-1	1972D4ED7E475279046A5F56ED4B09FBD200BAB7
SHA-256	96022305DAEA22C0021B6BD08062952FA613A8C19F7B56AD1F417ACA9661F155

Key	Value
MD5	B93B4254428DFD8B3CF261431952A9BA
PackageArch	noarch
PackageDescription	This package contains an Emacs support file for working with C source files marked up with ACSL.
PackageMaintainer	Fedora Project
PackageName	frama-c-emacs
PackageRelease	1.fc32
PackageVersion	20.0
SHA-1	199BCDF569DE3B0E4187FE1A104C2A64A77A072B
SHA-256	B7FA6CAFCAAB50F32242186EBDC8CCA328E141C0437D47CD86B4DE2B87BD1EAF

Key	Value
FileName	https://ftp.lysator.liu.se/pub/OpenBSD/6.7/packages//powerpc//frama-c-19.0p2.tgz
MD5	B3E29C2156C57DAC3E98E7DC4A2FF429
SHA-1	1D710E1FA0379B9D5CAE64B3D26AFB7D16D6D3C3
SHA-256	A6B7C8E73A86F054B1A7C758BA1FBB978549F137326FC9AA75433E7A5AB186D3
SSDEEP	3145728:ByjSUXhYsc8TmZoMZsEVeWdpUMkB69z6IgIw:seUXm8iZdZ5FXUzBIgIw
TLSH	T1B34833AC30612B763CAFC07A556CEDDC71F315ABD35EC6404A85E2963B1C87D9AE6C02

Key	Value
FileName	https://ftp.lysator.liu.se/pub/OpenBSD/6.9/packages//powerpc64//frama-c-19.0p3.tgz
MD5	E763A78FADDB77BD70743CB7A0BCBA47
SHA-1	3194A4B71B5430B07452EC223B5E324538180A13
SHA-256	8807696B87245BE1F08ED341233127AE6B0101FD1E791AE64E4D88C3EC1EED88
SSDEEP	3145728:+0oqOtTj61a1T/QTIuNXr0cq44j/j74P4ua+rnxFUBuu:+0oqOh2oaTzNXmXa4uagxFUBL
TLSH	T16848339074C0B33A29CAE473AEC9A2E4A78525F6276234D0C65DCFF235C1D6D86DCD26

Key	Value
FileName	https://ftp.lysator.liu.se/pub/OpenBSD/6.8/packages//powerpc//frama-c-19.0p3.tgz
MD5	A10AAC5F8BC0F05ED94C379610479C95
SHA-1	3B9461EA478630EE040D24F1E21338FBB4B5DDB1
SHA-256	47706D543ADA9BDF9774928C1F6AF68620565DC205F355B6D6EC657FE2009FAF
SSDEEP	3145728:ZnUD6yZF8nLJXcP0QFTRjnYT7KcT4/QEPJttfWjPOclt:BUWyD8xk7RjY+P/QEPg7Hlt
TLSH	T1B74833BC11C3FA1B2BEBEE757950A37863470D56209878254D98E2F2742ECDE4ADCD06

Key	Value
FileName	https://ftp.lysator.liu.se/pub/OpenBSD/6.8/packages//sparc64//frama-c-19.0p3.tgz
MD5	A691E083BEBDDE359BB4F8D4CD1828EA
SHA-1	3F90B6A69A5158A7646D6D4D89E8B33494DD4E11
SHA-256	F9081F2F2EDB5B43411CBBE92DAA7D08548FA70B13F116F25671B8A9296D5113
SSDEEP	3145728:xKkJr2FBZGjsEMDGFWCuCmX7pdT7Kcb4/QEPJttfWjPOc3Qzd:xjJKFBZ04G8CaXL+H/QEPg7Hgzd
TLSH	T1EB48336C13D27E7E295AF4735880A2DCB3D52EA254C5F83288E913E6161ECD4FF4E849

Key	Value
FileName	https://ftp.lysator.liu.se/pub/OpenBSD/6.9/packages//amd64//frama-c-19.0p3.tgz
MD5	ED3EF87D563C9B283D9E7E318CC8EAEA
SHA-1	7533439BFF0C643EDED9B55D9C425846FB431FD8
SHA-256	59FA7D6DEE9753D34073CBDD7EEDF712CD2CCFB03A7014CA163E2AEF292AC438
SSDEEP	1572864:Ioov0d01yae6g9tue3k3WVqtujNymPt9r9Hk/w/fDNxmn6A7EQg4k2LShQDiby6+:ij5gDPUbKJzrq/YfDHNqLSe56GoY
TLSH	T1D94833C455CF2BCA7C984362AD9C188A86C7B28661C14CA1F9674D4CFFAF0DE5B14BC6

Key	Value
MD5	3BB7760ABAEC78DBC7AAE56F87346946
PackageArch	noarch
PackageDescription	This package contains an XEmacs support file for working with C source files marked up with ACSL.
PackageMaintainer	Fedora Project
PackageName	frama-c-xemacs
PackageRelease	1.fc32
PackageVersion	20.0
SHA-1	8D15457B9EC140A1EBD76CA6655BD232A8E40C62
SHA-256	FFBD5F082E058AB14ABDB488B2B9126E662AB5165C23DE3128696D2691F1C5DB