all options
bookworm  ] [  trixie  ] [  sid  ]
[ Source: coq-record-update  ]

Package: libcoq-record-update (0.3.1-2 and others)

Links for libcoq-record-update

Screenshot

Debian Resources:

Download Source Package coq-record-update:

Maintainers:

External Resources:

Similar packages:

Opdateringsprogrammer til automatisk at optage felter for Coq

Denne pakke tilbyder en automatisk og generisk måde at opdatere felter i Coq.

Coq er en bevisassistent for logik i højere orden.

Other Packages Related to libcoq-record-update

  • depends
  • recommends
  • suggests
  • enhances

Download libcoq-record-update

Download for all available architectures
Architecture Version Package Size Installed Size Files
amd64 0.3.1-2+b1 14.1 kB61.0 kB [list of files]
arm64 0.3.1-2+b1 14.1 kB61.0 kB [list of files]
armhf 0.3.1-2+b1 14.1 kB61.0 kB [list of files]
i386 0.3.1-2+b1 14.1 kB61.0 kB [list of files]
ppc64el 0.3.1-2+b1 14.1 kB61.0 kB [list of files]
s390x 0.3.1-2+b1 14.1 kB61.0 kB [list of files]