Publishing details

• Published on 2023-10-23
• Copied from ubuntu kinetic in Primary Archive for Ubuntu

Changelog

cafeobj (1.6.0-2build1) kinetic; urgency=medium

  * No change rebuild for sbcl ppc64el bootstrap.

 -- Athos Ribeiro <email address hidden>  Tue, 19 Jul 2022 09:22:30 -0300

Builds

Built packages

• cafeobj new generation algebraic specification and programming language

• cafeobj-mode Emacs major mode for editing CafeOBJ source code

Package files

• cafeobj-mode_1.6.0-2build1_all.deb (25.6 KiB)
• cafeobj_1.6.0-2build1.debian.tar.xz (6.8 KiB)
• cafeobj_1.6.0-2build1.dsc (1.9 KiB)
• cafeobj_1.6.0-2build1_amd64.deb (13.4 MiB)
• cafeobj_1.6.0-2build1_arm64.deb (13.0 MiB)
• cafeobj_1.6.0-2build1_armhf.deb (12.5 MiB)
• cafeobj_1.6.0-2build1_ppc64el.deb (13.0 MiB)
• cafeobj_1.6.0.orig.tar.gz (8.1 MiB)