| CARVIEW |
Select Language
HTTP/2 200
date: Sun, 18 Jan 2026 12:17:45 GMT
content-type: text/html; charset=utf-8
server: cloudflare
nel: {"report_to":"cf-nel","success_fraction":0.0,"max_age":604800}
vary: Accept, Accept-Language
vary: accept-encoding
x-xss-protection: 1; mode=block
report-to: {"group":"cf-nel","max_age":604800,"endpoints":[{"url":"https://a.nel.cloudflare.com/report/v4?s=f50G%2BJKsh%2BQu%2FTA8tph0Z9bJ7JepW6wuiFJbCRD4mTyi2MRCW%2BpQDoSQ4JUtJmhtgKOT8%2BNCxdx%2BUoUpR6fRzwyrygC0Mp%2BlShf%2F4oh4pAH7cYcmoQCQ"}]}
cf-cache-status: DYNAMIC
content-encoding: gzip
cf-ray: 9bfe07f27cab3be6-BOM
alt-svc: h3=":443"; ma=86400
Reverse dependencies for parameterized-utils
parameterized-utils 2.1.11.0
| 17 Reverse deps | Accepted versions |
|---|---|
| bv-sized | >=2.0.2 && <2.2 |
| bv-sized-lens | >=2.1.3.0 && <2.2 |
| copilot-theorem | >=2.1.1 && <2.2 |
| copilot-verifier | >=2.1.4 && <2.2 |
| crucible | >=1.0.8 && <2.2 |
| crucible-debug | >=0 |
| crucible-llvm | >=2.1.5 && <2.2 |
| crucible-symio | >=0 |
| crucible-syntax | >=0.1.7 |
| crux | >=1.0 && <2.2 |
| crux-llvm | >=0 |
| cryptol | >=2.0.2 |
| libriscv | ^>=2.1.6.0 |
| named-text | >=2.1 && <2.2 |
| rme-what4 | ^>=2.0 || ^>=2.1 |
| tasty-checklist | >=2.1.0 && <2.2 |
| what4 | >=2.1 && <2.2 |