Packages / Alpine Linux 3.23 / rocq

[Source: rocq]

Package: rocq (9.0.0-r1)

Sistema de gestão de provas formais

Other Packages Related to rocq:

  • dep: ocaml4-impl:Big_int_Z:d6cd619126ba77ce9c740652b6256359

    Package not available

  • dep: ocaml4-impl:CamlinternalLazy:c1e563953199d5ae62cd56ffc2fbf053

    Package not available

  • dep: ocaml4-impl:CamlinternalMod:ba8ab3c1986d05bb8ec2096c23f3fff6

    Package not available

  • dep: ocaml4-impl:Condition:a63efe87f1c64636f7dd0ca176135334

    Package not available

  • dep: ocaml4-impl:Dynlink:b518f618d36fcd0fac26da4c7ec5999d

    Package not available

  • dep: ocaml4-impl:Mutex:070d55bb683901b185545f26b3d87913

    Package not available

  • dep: ocaml4-impl:Q:3948d0060c7c0b24ddec00c9b2bcdfdd

    Package not available

  • dep: ocaml4-impl:Stdlib:29fc6b4fd90dc91235156e20d0575996

    Package not available

  • dep: ocaml4-impl:Stdlib__Array:22aba1ff15e1eea3e3e5dee89e419edd

    Package not available

  • dep: ocaml4-impl:Stdlib__Bool:0d0b8cd37527ebf0af86899c732b9e94

    Package not available

  • dep: ocaml4-impl:Stdlib__Buffer:cf57eae330bacf7e0efb32dbae46cf50

    Package not available

  • dep: ocaml4-impl:Stdlib__Bytes:b03e331833e5beb1e8d6f3d4f1143383

    Package not available

  • dep: ocaml4-impl:Stdlib__Callback:0c3e7d2a76a917723578bab41e7444ff

    Package not available

  • dep: ocaml4-impl:Stdlib__Char:7cfadcb8c8da32e9f00e211aa321718b

    Package not available

  • dep: ocaml4-impl:Stdlib__Digest:4b9f7231a4f0d6d59ea5ffc24dbe5a48

    Package not available

  • dep: ocaml4-impl:Stdlib__Ephemeron:d6c0dc7d67e39614d3952f5a259ca150

    Package not available

  • dep: ocaml4-impl:Stdlib__Filename:d8ca26729710871975671929664ef2b2

    Package not available

  • dep: ocaml4-impl:Stdlib__Float:f10a221be36e5079c72cc3cacea49e9e

    Package not available

  • dep: ocaml4-impl:Stdlib__Format:3fc5aabf82bf4752619ecb26bfdcac24

    Package not available

  • dep: ocaml4-impl:Stdlib__Fun:69176e578371826c609ba1ffdcd982fa

    Package not available

  • dep: ocaml4-impl:Stdlib__Gc:30463cc7c3c9b9d4e445a603b0daf6ea

    Package not available

  • dep: ocaml4-impl:Stdlib__Hashtbl:898b52cc6092451df01bc3a7ed405ede

    Package not available

  • dep: ocaml4-impl:Stdlib__Int32:ed1108257eeb0f68fc6a433e6ea2e4f4

    Package not available

  • dep: ocaml4-impl:Stdlib__Int64:371b761429600b4a3480435d7bb83c8a

    Package not available

  • dep: ocaml4-impl:Stdlib__Lazy:535fca0d5af36a42e996cec462ebeb27

    Package not available

  • dep: ocaml4-impl:Stdlib__Lexing:d054a4a6dfb4cb55a4733ce272d4623d

    Package not available

  • dep: ocaml4-impl:Stdlib__List:9fa021918ce9b6b5c0a1f584e3adf2af

    Package not available

  • dep: ocaml4-impl:Stdlib__Map:2030d114d073f182db654b44388afee9

    Package not available

  • dep: ocaml4-impl:Stdlib__Marshal:16cd6d8082b6e1188fc7ef5ea6c782b0

    Package not available

  • dep: ocaml4-impl:Stdlib__Obj:5e74bd07b1ecafadee865eeb435fd993

    Package not available

  • dep: ocaml4-impl:Stdlib__Option:56ebca50aefc969c7c8e20142f269ff1

    Package not available

  • dep: ocaml4-impl:Stdlib__Printexc:ac4a56d43cb8fba5e3e656f25339f0db

    Package not available

  • dep: ocaml4-impl:Stdlib__Printf:bc4ad41fce5f3a224d4b57523576a7d7

    Package not available

  • dep: ocaml4-impl:Stdlib__Queue:f282f1cf1be5ed1909509007dbb5a40c

    Package not available

  • dep: ocaml4-impl:Stdlib__Random:611aadea398bca9fd02e3abe79a07f34

    Package not available

  • dep: ocaml4-impl:Stdlib__Result:eb56dfff163a33cff1a133ae9b82451a

    Package not available

  • dep: ocaml4-impl:Stdlib__Scanf:2a5a51fabeac3966d192cad5493d956c

    Package not available

  • dep: ocaml4-impl:Stdlib__Seq:a63a0257306b79374be85a9d8ec9cd0c

    Package not available

  • dep: ocaml4-impl:Stdlib__Set:ffaaae5fee1481a2ba86fd461ec826a4

    Package not available

  • dep: ocaml4-impl:Stdlib__Stack:fd9fbc67d946f33a7d077d345949db3d

    Package not available

  • dep: ocaml4-impl:Stdlib__String:63272e200b49ed0a15ed501695bde0a7

    Package not available

  • dep: ocaml4-impl:Stdlib__Sys:246197933f799e7988d38f2b13d39cd2

    Package not available

  • dep: ocaml4-impl:Stdlib__Weak:8a9cd0fa5e68c63bc7128e1a6721b532

    Package not available

  • dep: ocaml4-impl:Str:c8276719fa69c2dd9213a45a77fa71a4

    Package not available

  • dep: ocaml4-impl:Thread:53b98e1de3221ca34c058400a282bd53

    Package not available

  • dep: ocaml4-impl:Unix:a2a70f64495a291cbc08f72aa5dc2552

    Package not available

  • dep: ocaml4-impl:Z:9992ed79994d12e36d997316da384c6f

    Package not available

  • dep: ocaml4-intf:Asttypes:c6cbda0727ab24f24ff77e0199818937

    Package not available

  • dep: ocaml4-intf:Big_int_Z:f98827dcd70d54140f3afa5af18218b1

    Package not available

  • dep: ocaml4-intf:Build_path_prefix_map:c087ed78089388f4d3a99676f2c10fc4

    Package not available

  • dep: ocaml4-intf:CamlinternalFormatBasics:8f8f634558798ee408df3c50a5539b15

    Package not available

  • dep: ocaml4-intf:CamlinternalLazy:5365fec4a58da3e2d8fa2186f77d9be4

    Package not available

  • dep: ocaml4-intf:CamlinternalMod:2004005091bc8a61fe26ab15e0fb28e4

    Package not available

  • dep: ocaml4-intf:Clflags:84ae8d03facf492b1832cc8cf4500653

    Package not available

  • dep: ocaml4-intf:Cmi_format:77a1c8f1e0d22ce55ab6c81760c7b8d6

    Package not available

  • dep: ocaml4-intf:Compenv:81e3b1700d2bd6d3c20b45b6c05b481a

    Package not available

  • dep: ocaml4-intf:Condition:f0caf68e0fd94353b2fe68f24dc84c46

    Package not available

  • dep: ocaml4-intf:Dynlink:b542e5672ad42f5b838f58913ba15456

    Package not available

  • dep: ocaml4-intf:Env:132a8f155a5ec71de7e5d3a85efe6e03

    Package not available

  • dep: ocaml4-intf:Findlib:d44b73d9d87aa8a2a740a3e7f738599b

    Package not available

  • dep: ocaml4-intf:Fl_metascanner:e1b1d3fe0eca562f5e9dc0e0f04eee51

    Package not available

  • dep: ocaml4-intf:Fl_metatoken:2ee80556b58c28796e5020152710a0dc

    Package not available

  • dep: ocaml4-intf:Fl_package_base:04c54a48fe2e7875409d82f50323d9b9

    Package not available

  • dep: ocaml4-intf:Ident:a68d3b48cf66f01c3af823a07d101708

    Package not available

  • dep: ocaml4-intf:Identifiable:026dfc8fdbcf370a975e554be578d5a5

    Package not available

  • dep: ocaml4-intf:Load_path:8e616f4485805b33a8219ec934a7859a

    Package not available

  • dep: ocaml4-intf:Location:ad05a11c5350a8043d12b4819575b03b

    Package not available

  • dep: ocaml4-intf:Longident:dddbcb2c78e865fd75e9911c4b82a7e2

    Package not available

  • dep: ocaml4-intf:Misc:fa2c1b0e885a335849c8603379ff2f89

    Package not available

  • dep: ocaml4-intf:Mutex:e7b4c98d68b9b84b256d9650ac063dab

    Package not available

  • dep: ocaml4-intf:Outcometree:674374723cd44ac1194584799175f801

    Package not available

  • dep: ocaml4-intf:Parsetree:d160a703cc0fe2b0a7acd97f6bf25245

    Package not available

  • dep: ocaml4-intf:Path:c74c2553734e7c86ab23c6946a08a019

    Package not available

  • dep: ocaml4-intf:Primitive:8cd5b518055f39c57cb5bfdd62b072c1

    Package not available

  • dep: ocaml4-intf:Profile:d266e10a0e8a0497b64c50d0b0e138f1

    Package not available

  • dep: ocaml4-intf:Q:95ed12df5d619f4cf43c3f5256a0f97b

    Package not available

  • dep: ocaml4-intf:Shape:a7485b44c054c48b77a4c0546f654051

    Package not available

  • dep: ocaml4-intf:Stdlib:79b0e9d3b6f7fed07eb3cc2abb961b91

    Package not available

  • dep: ocaml4-intf:Stdlib__Arg:04b768df3893b886dc494cea56b4aa5f

    Package not available

  • dep: ocaml4-intf:Stdlib__Array:622d88fad859d0d0f019e691fc4fa865

    Package not available

  • dep: ocaml4-intf:Stdlib__Bigarray:994a14f10d5ae081663b52b790ee11d3

    Package not available

  • dep: ocaml4-intf:Stdlib__Bool:fe0df75f63138242ef3d9da3dc19ea0f

    Package not available

  • dep: ocaml4-intf:Stdlib__Buffer:4b09c9a6d0622bbf5a3829234b481822

    Package not available

  • dep: ocaml4-intf:Stdlib__Bytes:3d02c33317c0108c61e7a5eefa37519a

    Package not available

  • dep: ocaml4-intf:Stdlib__Callback:fe29a598e1902f0b901e88a9865c26ef

    Package not available

  • dep: ocaml4-intf:Stdlib__Char:62afe57b49defcc078960a68b9efbbee

    Package not available

  • dep: ocaml4-intf:Stdlib__Complex:4555217c759e89d65daa8f682eb09b35

    Package not available

  • dep: ocaml4-intf:Stdlib__Digest:61f6495d3274a42a78a63425ef892290

    Package not available

  • dep: ocaml4-intf:Stdlib__Either:26845df28d19584687a38a1ab814c3f9

    Package not available

  • dep: ocaml4-intf:Stdlib__Ephemeron:85bf10913cd5901968e9c2a8e59c2cd8

    Package not available

  • dep: ocaml4-intf:Stdlib__Filename:3bcff250dd30a0e620fa7546882aaadf

    Package not available

  • dep: ocaml4-intf:Stdlib__Float:e5199b4531d56abc9fff4ae96c2acff4

    Package not available

  • dep: ocaml4-intf:Stdlib__Format:b6edb97b685819e873481fe05723c8bc

    Package not available

  • dep: ocaml4-intf:Stdlib__Fun:115c0563d80d54e1e845b108f10caa33

    Package not available

  • dep: ocaml4-intf:Stdlib__Gc:c3ec15218bd26e175e6d959e216eb39a

    Package not available

  • dep: ocaml4-intf:Stdlib__Hashtbl:34c0fdd524bf2a75e4d5af64a6d34401

    Package not available

  • dep: ocaml4-intf:Stdlib__Int32:a71ea5238030770647165f659f80b1ab

    Package not available

  • dep: ocaml4-intf:Stdlib__Int64:0fa5587c47baf16a06837c7dedfc2518

    Package not available

  • dep: ocaml4-intf:Stdlib__Lazy:01430d340c028322c7247031a874e355

    Package not available

  • dep: ocaml4-intf:Stdlib__Lexing:c9318c276ac7e383fd682c2dd06be434

    Package not available

  • dep: ocaml4-intf:Stdlib__List:ee222542f6f8195441543b8b399b64b9

    Package not available

  • dep: ocaml4-intf:Stdlib__Map:978f82916b5a172c11d2b72719d85680

    Package not available

  • dep: ocaml4-intf:Stdlib__Marshal:182731e5f563b7657acd24ad778f3615

    Package not available

  • dep: ocaml4-intf:Stdlib__Nativeint:989149bf8f2ce1a89fecbc3f5f40f52c

    Package not available

  • dep: ocaml4-intf:Stdlib__Obj:25794d29f7f4018768ea900e331a2bf3

    Package not available

  • dep: ocaml4-intf:Stdlib__Option:121a6090f31f70c9d5bfa04e995b96ba

    Package not available

  • dep: ocaml4-intf:Stdlib__Printexc:ae914d0568e8b6e482a66bbd62a4432f

    Package not available

  • dep: ocaml4-intf:Stdlib__Printf:bc8af6214197dc8f40eaa738a4cd6a28

    Package not available

  • dep: ocaml4-intf:Stdlib__Queue:b066724fe533c7b8fc9b521e37aedad8

    Package not available

  • dep: ocaml4-intf:Stdlib__Random:81e43bab9bd47bab804eb6e582306de1

    Package not available

  • dep: ocaml4-intf:Stdlib__Result:f99939d3b32a26a59a2f4df0b6b2e60a

    Package not available

  • dep: ocaml4-intf:Stdlib__Scanf:5bfc827c9980349e00f2aa1f5eade58f

    Package not available

  • dep: ocaml4-intf:Stdlib__Seq:b63511032211eae4b567ba313cd72962

    Package not available

  • dep: ocaml4-intf:Stdlib__Set:871d2ee2167ac9e7977fa13994cf4658

    Package not available

  • dep: ocaml4-intf:Stdlib__Stack:30ae8c258e7fc6fb7e6370a60256d724

    Package not available

  • dep: ocaml4-intf:Stdlib__String:4933e1d855f54bfed0231b038f0dbb87

    Package not available

  • dep: ocaml4-intf:Stdlib__Sys:7726a14ce36f5c6c3abb04975cec748b

    Package not available

  • dep: ocaml4-intf:Stdlib__Uchar:c0dde02a556a6d79e363ad365d165d57

    Package not available

  • dep: ocaml4-intf:Stdlib__Weak:28f276c430fdc51a3a10691d3066b26a

    Package not available

  • dep: ocaml4-intf:Str:514c63e7d96516ff4c601fe47900a52d

    Package not available

  • dep: ocaml4-intf:Subst:428159e3773e2a53757d43066bcfca7f

    Package not available

  • dep: ocaml4-intf:Thread:cbab14f62eb893a73913c276298141c9

    Package not available

  • dep: ocaml4-intf:Toploop:bd94fffe0b1d633d0635d312f2aef092

    Package not available

  • dep: ocaml4-intf:Type_immediacy:64565e32358a6229bf90cc93d486536a

    Package not available

  • dep: ocaml4-intf:Types:6c92ac95b66d8794b63f94c688fe1688

    Package not available

  • dep: ocaml4-intf:Unix:d81af7730241956ddaf1c2d19ed2cb1c

    Package not available

  • dep: ocaml4-intf:Warnings:1c10e6007aca64cda69b6b055565b124

    Package not available

  • dep: ocaml4-intf:Z:a71ac4a535434978287848841376388e

    Package not available

  • dep: so:libc.musl-aarch64.so.1

    Package not available

  • dep: so:libgmp.so.10

    Package not available

Download rocq

ArchitecturePackage sizeInstalled sizeFilesPackage
aarch64183 MiB478 MiBlist of filesNot published
x86_64178 MiB457 MiBlist of filesNot published

Cobertura de arquivos (não observada)

The active import did not include the repository's package-file index (Debian Contents for this cohort). This is missing coverage, not an observation that the package contains or installs zero files.

No package-associated file paths were observed for the displayed build metadata.

Field source: Alpine Linux 3.23 community aarch64

Usar este pacote

O OpenFactory pode iniciar este sistema operacional em uma máquina virtual do navegador, ou começar uma construção que inclui o nome nativo do pacote deste registro.

Experimentar Alpine Linux 3.23 no navegadorConstruir uma imagem que inclui rocq

Versões, suites e repositórios

Cada linha é metadado do índice de pacotes para uma versão, arquitetura, suite e repositório. Nomes, URLs e tamanhos vêm da fonte; um link é um ponto de obtenção mutável, não uma redistribuição da OpenFactory.

VersionReleaseArchitectureRepositoryPackage sizeInstalled sizePublisher repository artifact
9.0.0-r1v3.23 / communityaarch64Alpine Linux 3.23 · community · aarch64183 MiB478 MiBNot reported
9.0.0-r1v3.23 / communityx86_64Alpine Linux 3.23 · community · x86_64178 MiB457 MiBNot reported

Field source: Alpine Linux 3.23 community aarch64

Vulnerabilidades conhecidas

Nenhum aviso correspondente nas fontes acompanhadas.

Última sincronização:

[Catálogo de CVE]

Checksums

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

9.0.0-r1 / aarch64Observado Sep 1, 2026apk-checksum Q1bc1JwS5fVK…2whzhW8=Resumo da fonte

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

Resumo da fonte (apk-checksum): Q1bc1JwS5fVK6rzuP86f3+2whzhW8=

Field source: Alpine Linux 3.23 community aarch64

9.0.0-r1 / x86_64Observado Sep 1, 2026apk-checksum Q1CtKhkzChzc…X4pTvG0=Resumo da fonte

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

Resumo da fonte (apk-checksum): Q1CtKhkzChzc6c79TbBuZFX4pTvG0=

Field source: Alpine Linux 3.23 community x86_64

Fontes

  • Alpine Linux 3.23 community aarch64Sep 1, 2026

    Authoritative source; repository metadata signature verified

    Evidência de assinatura

    v3-23-community-aarch64:9d4d5738ce344f6ec950cf8aa259d9bc21eafa803fab1bb0c1e6a8fbc90ea2ea

    Repository-signature verification record
    Signed-object SHA-256
    02d9f1e388110632b9800d2af508ed93384639622858cd16d0809803579468e2
    Keyring revision
    alpine-aarch64
    SHA-256 776977684fe729c59796fb6fc0279858c44c1195302892a8da4bbb3ee167e67f
    Tool and policy
    1
    openfactory-software-catalog-signature-v1
    Verification time
    Sep 1, 2026
  • Alpine Linux 3.23 community x86_64Sep 1, 2026

    Authoritative source; repository metadata signature verified

    Evidência de assinatura

    v3-23-community-x86-64:593675b29d97519f9b0067c786106f4eaad38b1adf120dbc952a7e6eec9e7c70

    Repository-signature verification record
    Signed-object SHA-256
    0f6caafa33babbeb740964ae2865cb4b365c5d32dd4162857a2d264e7afcb1c9
    Keyring revision
    alpine-x86_64
    SHA-256 203c4f30dddf6b0661bdf0255ddc5b7e2f703f580ae61791f00f81945132b509
    Tool and policy
    1
    openfactory-software-catalog-signature-v1
    Verification time
    Sep 1, 2026