diff options
| author | Naïm Favier <n@monade.li> | 2025-05-19 17:59:38 +0200 |
|---|---|---|
| committer | Naïm Favier <n@monade.li> | 2025-05-19 17:59:38 +0200 |
| commit | e84598116e49651c1be6836fab2a38511ace723d (patch) | |
| tree | b38406c72171c44032aec7d15f0157cc5aa70d97 /pkgs/development/python-modules/python-sql | |
| parent | 0858f1bc43aa2c897717bb4cf188aefea55e1971 (diff) | |
agdaPackages.cubical: 0.7 -> 0.8
https://github.com/agda/cubical/releases/tag/v0.8
Diffstat (limited to 'pkgs/development/python-modules/python-sql')
0 files changed, 0 insertions, 0 deletions