Packages / openSUSE Leap 16.0 / Unspecified / ghc-puresat-prof

Package: ghc-puresat-prof (0.1-bp160.1.11)

Haskell puresat profiling library

This package provides the Haskell puresat profiling library.

Other Packages Related to ghc-puresat-prof:

dep: ghc-prof(base-4.19.2.0-7e67)
Package not available
dep: ghc-prof(bytestring-0.12.1.0-d946)
Package not available
dep: ghc-prof(containers-0.6.8-3d10)
Package not available
dep: ghc-prof(parsec-3.1.17.0-2d54)
Package not available
dep: ghc-prof(primitive-0.9.0.0-HUT3FMSbPSW4xtBqF72QHn)
Package not available
dep: [ghc-puresat-devel] (= 0.1-bp160.1.11)
Haskell puresat library development files

enh: (ghc-puresat-devel and ghc-prof)
Package not available

Download ghc-puresat-prof

Architecture	Package size	Installed size	Files	Package
aarch64	394 KiB	3.1 MiB	list of files	Download
ppc64le	431 KiB	3.8 MiB	list of files	Download
x86_64	337 KiB	2.6 MiB	list of files	Download

Percorsi file del pacchetto (31)

Paths come from the repository package-file index for the observed builds. They describe archive/package associations, not every file that will exist on a running system after maintainer scripts, alternatives, generated state, diversions, or installation choices.

/usr/lib64/ghc-9.8.3/lib/puresat-0.1/Control/Monad/SAT.p_hi
/usr/lib64/ghc-9.8.3/lib/puresat-0.1/EST.p_hi
/usr/lib64/ghc-9.8.3/lib/puresat-0.1/libHSpuresat-0.1-2FFH7R9Ej4dGeGgrMX5HCk_p.a
/usr/lib64/ghc-9.8.3/lib/puresat-0.1/libHSpuresat-0.1-8Xf1X3PWoRYDgZOzCczpZm-internal_p.a
/usr/lib64/ghc-9.8.3/lib/puresat-0.1/libHSpuresat-0.1-BrXscAWwf4u4P36uYz84nX_p.a
/usr/lib64/ghc-9.8.3/lib/puresat-0.1/libHSpuresat-0.1-CwTaH2b3kf4ExAitNxfBpK-internal_p.a
/usr/lib64/ghc-9.8.3/lib/puresat-0.1/libHSpuresat-0.1-J6Sch9WeeTkBp8WBSs0odd-dimacs_p.a
/usr/lib64/ghc-9.8.3/lib/puresat-0.1/libHSpuresat-0.1-OxsKanNhN01lsXCGCxatO-dimacs_p.a
/usr/lib64/ghc-9.8.3/lib/puresat-0.1/PureSAT/Assert.p_hi
/usr/lib64/ghc-9.8.3/lib/puresat-0.1/PureSAT/Base.p_hi
/usr/lib64/ghc-9.8.3/lib/puresat-0.1/PureSAT/Boost.p_hi
/usr/lib64/ghc-9.8.3/lib/puresat-0.1/PureSAT/Clause2.p_hi
/usr/lib64/ghc-9.8.3/lib/puresat-0.1/PureSAT/DIMACS.p_hi
/usr/lib64/ghc-9.8.3/lib/puresat-0.1/PureSAT/LBool.p_hi
/usr/lib64/ghc-9.8.3/lib/puresat-0.1/PureSAT/LCG.p_hi
/usr/lib64/ghc-9.8.3/lib/puresat-0.1/PureSAT/Level.p_hi
/usr/lib64/ghc-9.8.3/lib/puresat-0.1/PureSAT/LitSet.p_hi
/usr/lib64/ghc-9.8.3/lib/puresat-0.1/PureSAT/LitTable.p_hi
/usr/lib64/ghc-9.8.3/lib/puresat-0.1/PureSAT/LitVar.p_hi
/usr/lib64/ghc-9.8.3/lib/puresat-0.1/PureSAT/Main.p_hi
/usr/lib64/ghc-9.8.3/lib/puresat-0.1/PureSAT/PartialAssignment.p_hi
/usr/lib64/ghc-9.8.3/lib/puresat-0.1/PureSAT.p_hi
/usr/lib64/ghc-9.8.3/lib/puresat-0.1/PureSAT/Prim.p_hi
/usr/lib64/ghc-9.8.3/lib/puresat-0.1/PureSAT/Satisfied.p_hi
/usr/lib64/ghc-9.8.3/lib/puresat-0.1/PureSAT/SparseMaxHeap.p_hi
/usr/lib64/ghc-9.8.3/lib/puresat-0.1/PureSAT/SparseSet.p_hi
/usr/lib64/ghc-9.8.3/lib/puresat-0.1/PureSAT/Stats.p_hi
/usr/lib64/ghc-9.8.3/lib/puresat-0.1/PureSAT/Trail.p_hi
/usr/lib64/ghc-9.8.3/lib/puresat-0.1/PureSAT/Utils.p_hi
/usr/lib64/ghc-9.8.3/lib/puresat-0.1/PureSAT/VarSet.p_hi
/usr/lib64/ghc-9.8.3/lib/puresat-0.1/PureSAT/Vec.p_hi

Field source: openSUSE Leap 16.0 OSS

Versioni, suite e repository

Ogni riga è metadato dell'indice pacchetti per una versione, architettura, suite e repository. Nomi, URL e dimensioni arrivano dalla fonte; un link è un punto di recupero mutabile, non una redistribuzione OpenFactory.

Version	Release	Architecture	Repository	Package size	Installed size	Publisher repository artifact
0.1-bp160.1.11	leap-16.0 / oss	aarch64	openSUSE Leap 16.0 · OSS · multi-architecture	394 KiB	3.1 MiB	aarch64/ghc-puresat-prof-0.1-bp160.1.11.aarch64.rpm
0.1-bp160.1.11	leap-16.0 / oss	ppc64le	openSUSE Leap 16.0 · OSS · multi-architecture	431 KiB	3.8 MiB	ppc64le/ghc-puresat-prof-0.1-bp160.1.11.ppc64le.rpm
0.1-bp160.1.11	leap-16.0 / oss	x86_64	openSUSE Leap 16.0 · OSS · multi-architecture	337 KiB	2.6 MiB	x86_64/ghc-puresat-prof-0.1-bp160.1.11.x86_64.rpm

Field source: openSUSE Leap 16.0 OSS

Vulnerabilità note

Nessun avviso corrispondente nelle fonti monitorate.

Ultima sincronizzazione: Oct 31, 2026, 11:58:17 PM UTC

[Catalogo CVE]

Checksum

Repository signatures authenticate metadata. Artifact hashing is recorded separately. Neither establishes package safety.

0.1-bp160.1.11 / aarch64Osservato Sep 1, 2026sha512 26e34a0d44f9…9f7ae6f4Impronta della fonte

Metadata observed; artifact bytes were not independently fetched or hashed by this catalog import. The digest below is source-reported.

Impronta della fonte (sha512): 26e34a0d44f9d29e5c49fea99634c9fe8955676102b8a1cd355ac553ef459a013597c5d1bba8d8e3268bd6f6571332f0b6e909af0bd194a48496ff4b9f7ae6f4

Field source: openSUSE Leap 16.0 OSS

0.1-bp160.1.11 / ppc64leOsservato Sep 1, 2026sha512 586d57800694…4bed76b7Impronta della fonte

Metadata observed; artifact bytes were not independently fetched or hashed by this catalog import. The digest below is source-reported.

Impronta della fonte (sha512): 586d57800694c76127c96b6e6bbc5ab54d57c53eb0830513746a4144864a563a4b158e47e75d4106c89a306644b46498de550eb909604b12281ff2584bed76b7

Field source: openSUSE Leap 16.0 OSS

0.1-bp160.1.11 / x86_64Osservato Sep 1, 2026sha512 3898a4a12111…c026aa77Impronta della fonte

Metadata observed; artifact bytes were not independently fetched or hashed by this catalog import. The digest below is source-reported.

Impronta della fonte (sha512): 3898a4a121119f689106636f44152c1f280f062dbab40ba0cead9e3a08f443cfe2eeba44778a1de1fac7c09f4fbbc3c48b885b1d5c6b71acaa7c9f5dc026aa77

Field source: openSUSE Leap 16.0 OSS

Fonti

openSUSE Leap 16.0 OSSSep 1, 2026
Authoritative source; repository metadata signature verified
Prova della firma
leap-16-0-oss-multiarch:271b36d440253edf9871ac0c100319fc7443d8f2d54b6b449a72e9414c51577c
Repository-signature verification record
Signed object
https://download.opensuse.org/distribution/leap/16.0/repo/oss/repodata/repomd.xml
Signed-object SHA-256
271b36d440253edf9871ac0c100319fc7443d8f2d54b6b449a72e9414c51577c
Signer fingerprint
AD485664E901B867051AB15F35A2F86E29B700A4
Keyring revision
opensuse-project-signing-key.asc
SHA-256 b5745739ebfb95b25b8e810f9bcb847fe750ccda598bd85f02f0e974599a6d7e
Tool and policy
gpgv (GnuPG) 2.4.9
openfactory-software-catalog-signature-v1
Verification time
Sep 1, 2026
Repository metadata hash linkage
Result
Recorded as verified; digest details unavailable