Mon, 02 Nov 2026 22:26:08 UTC Log in
A bitvector datatype that is parameterized by the vector width built by guoguo completed Thu, 29 Oct 2026 17:43:21 UTC

Description

This module defines a width-parameterized bitvector type and various associated operations.

RPMs

No RPMs

Changelog

* Thu Jul 16 2026 Fedora Release Engineering <releng@fedoraproject.org> - 1.0.6-5
- Rebuilt for https://fedoraproject.org/wiki/Fedora_45_Mass_Rebuild

* Mon Jan 26 2026 Jens Petersen <petersen@redhat.com> - 1.0.6-4
- refresh to cabal-rpm-2.3.2

* Fri Jan 16 2026 Fedora Release Engineering <releng@fedoraproject.org> - 1.0.6-3
- Rebuilt for https://fedoraproject.org/wiki/Fedora_44_Mass_Rebuild

* Wed Jul 23 2025 Fedora Release Engineering <releng@fedoraproject.org> - 1.0.6-2
- Rebuilt for https://fedoraproject.org/wiki/Fedora_43_Mass_Rebuild

* Sun Mar 30 2025 Jens Petersen <petersen@redhat.com> - 1.0.6-1
- https://hackage.haskell.org/package/bv-sized-1.0.6/changelog

* Sun Mar 30 2025 Jens Petersen <petersen@redhat.com> - 1.0.5-4
- refresh to cabal-rpm-2.3.0

* Thu Jan 16 2025 Fedora Release Engineering <releng@fedoraproject.org> - 1.0.5-3
- Rebuilt for https://fedoraproject.org/wiki/Fedora_42_Mass_Rebuild