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
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	5784C03D2268AFE79587A700C1B60174
PackageArch	aarch64
PackageDescription	Frama-C is a suite of tools dedicated to the analysis of the source code of software written in C. Frama-C gathers several static analysis techniques in a single collaborative framework. The collaborative approach of Frama-C allows static analyzers to build upon the results already computed by other analyzers in the framework. Thanks to this approach, Frama-C provides sophisticated tools, such as a slicer and dependency analysis.
PackageMaintainer	Fedora Project
PackageName	frama-c
PackageRelease	1.fc32
PackageVersion	20.0
SHA-1	1C59CD198CD2C90216F79E1F6C06B1103ED3A351
SHA-256	258F73B317E4D8297063621B34B30AF0E4C2FAA53F1D9DF3AD24DE655E036EC7

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
FileName	https://ftp.lysator.liu.se/pub/OpenBSD/6.9/packages//sparc64//frama-c-19.0p3.tgz
MD5	255AB46863EAFD39E89AFA3858AB5112
SHA-1	99326D878549BFD3DB7C93CD2A74FCE80DB27BAC
SHA-256	A79F4D2F00A448984CBB46FB2CC7C4A21CF00E84CEBB1E6A7ECFCA8092AED544
SSDEEP	3145728:BV7E7dX6QEqEha8VV6fU0F6Y4M1ekgVxipADhUMVL:nEttEeY+U0F6RCeJVtDiML
TLSH	T1BA4833DC2080D3DE2D3EC06B35F923FCBBE2267112A3DEB14A15C7857A55A7618E590B