5 packages found. Page 1 of 1.

Name Version Votes Popularity? Description Maintainer Last Updated
shellspec-git 0.28.1.r182.g8aa3df5-1 1 0.00 BDD style unit testing framework for POSIX compliant shell script stefanwimmer128 2024-07-18 09:29 (UTC)
shellspec 0.28.1-3 2 0.00 BDD style unit testing framework for POSIX compliant shell script stefanwimmer128 2024-07-18 09:29 (UTC)
quint-bin 0.22.4-1 0 0.00 An executable specification language with delightful tooling based on the temporal logic of actions (TLA) rnbguy 2024-11-25 12:03 (UTC)
quint 0.22.4-1 0 0.00 An executable specification language with design and tooling focused on usability. It is based on the Temporal Logic of Actions rnbguy 2024-11-19 16:02 (UTC)
libxdgdirs 1.1.3-1 2 0.00 An implementation helpers for XDG Base Directory Specification in C Jorenar 2024-11-08 06:13 (UTC)

5 packages found. Page 1 of 1.