wszystkie opcje
bookworm  ] [  trixie  ] [  sid  ]
[ Pakiet źródłowy: coq-record-update  ]

Pakiet: libcoq-record-update (0.3.1-2 i inne)

Odnośniki dla libcoq-record-update

Screenshot

Zasoby systemu Debian:

Pobieranie pakietu źródłowego coq-record-update:

Opiekunowie:

Zasoby zewnętrzne:

Podobne pakiety:

automatic record fields updaters for Coq

This package provides an automatic and generic way to update record fields in Coq.

Coq is a proof assistant for higher-order logic.

Inne pakiety związane z libcoq-record-update

  • wymaga
  • poleca
  • sugeruje
  • enhances

Pobieranie libcoq-record-update

Pobierz dla wszystkich dostępnych architektur
Architektura Wersja Rozmiar pakietu Rozmiar po instalacji Pliki
amd64 0.3.1-2+b1 14,1 KiB61,0 KiB [lista plików]
arm64 0.3.1-2+b1 14,1 KiB61,0 KiB [lista plików]
armhf 0.3.1-2+b1 14,1 KiB61,0 KiB [lista plików]
i386 0.3.1-2+b1 14,1 KiB61,0 KiB [lista plików]
ppc64el 0.3.1-2+b1 14,1 KiB61,0 KiB [lista plików]
s390x 0.3.1-2+b1 14,1 KiB61,0 KiB [lista plików]