diff options
| author | Anders Kaseorg <andersk@mit.edu> | 2022-04-25 13:31:21 -0700 |
|---|---|---|
| committer | Anders Kaseorg <andersk@mit.edu> | 2022-04-25 13:35:06 -0700 |
| commit | 00e66f10fa1120875201eace3b0a238f7d1b39ca (patch) | |
| tree | e997688944582456f2c7b829be6a2a0e847fc8cf /pkgs/development/libraries/boost | |
| parent | 87d34a6b8982e901b8e50096b8e79ebc0e66cda0 (diff) | |
| download | nixpkgs-00e66f10fa1120875201eace3b0a238f7d1b39ca.tar nixpkgs-00e66f10fa1120875201eace3b0a238f7d1b39ca.tar.gz nixpkgs-00e66f10fa1120875201eace3b0a238f7d1b39ca.tar.bz2 nixpkgs-00e66f10fa1120875201eace3b0a238f7d1b39ca.tar.lz nixpkgs-00e66f10fa1120875201eace3b0a238f7d1b39ca.tar.xz nixpkgs-00e66f10fa1120875201eace3b0a238f7d1b39ca.tar.zst nixpkgs-00e66f10fa1120875201eace3b0a238f7d1b39ca.zip | |
coq: Rename internal versionAtLeast helper to coqAtLeast
To avoid potential confusion with lib.versionAtLeast. Signed-off-by: Anders Kaseorg <andersk@mit.edu>
Diffstat (limited to 'pkgs/development/libraries/boost')
0 files changed, 0 insertions, 0 deletions