packages Skip to content

» Ubuntu » Paket » Paketsökresultat

Du har sökt efter paket vars namn innehåller libcoq-record-update i alla sviter, alla sektioner och alla arkitekturer. Hittade 1 paket.

Exakta träffar

Paketet libcoq-record-update

• noble (24.04LTS) (ocaml): automatic record fields updaters for Coq [universe]
  0.3.3-1build4: amd64 arm64 armhf ppc64el riscv64 s390x
• oracular (24.10) (ocaml): automatic record fields updaters for Coq [universe]
  0.3.4-3build3: amd64 arm64 ppc64el riscv64 s390x
• plucky (25.04) (ocaml): automatic record fields updaters for Coq [universe]
  0.3.4-4build3: amd64 arm64 ppc64el riscv64 s390x
• questing (ocaml): automatic record fields updaters for Coq [universe]
  0.3.4-4build3: amd64 arm64 ppc64el riscv64 s390x