pps-tools 1.0.2
User-space tools for LinuxPPS
Linux
last changed
Pin this version
$ devbox add pps-tools@1.0.2
$ nix shell github:NixOS/nixpkgs/2df15ba83d0510a56f2583fd3481723835acb5a1#pps-tools
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
x86_64-linuxLinux · x86-64 |
pps-tools |
2df15ba83d05 |
JSON: /v2/pkg?name=pps-tools · /v2/resolve?name=pps-tools&version=1.0.2