diff options
| author | Mario Rodas <marsam@users.noreply.github.com> | 2019-04-24 20:42:30 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-04-24 20:42:30 -0500 |
| commit | e89fc19b97b3dc3f86e3aee38dd20f198d8f3e8c (patch) | |
| tree | f1fee986599ff77ac1511af5a23fdd951572b6ef /pkgs/development/coq-modules | |
| parent | dc1716f63be521176a2fa28d5f562309c2fb7e7a (diff) | |
| parent | fbd3f57bf48930d32df0eee9bc77f42b97d30f15 (diff) | |
| download | nixpkgs-e89fc19b97b3dc3f86e3aee38dd20f198d8f3e8c.tar nixpkgs-e89fc19b97b3dc3f86e3aee38dd20f198d8f3e8c.tar.gz nixpkgs-e89fc19b97b3dc3f86e3aee38dd20f198d8f3e8c.tar.bz2 nixpkgs-e89fc19b97b3dc3f86e3aee38dd20f198d8f3e8c.tar.lz nixpkgs-e89fc19b97b3dc3f86e3aee38dd20f198d8f3e8c.tar.xz nixpkgs-e89fc19b97b3dc3f86e3aee38dd20f198d8f3e8c.tar.zst nixpkgs-e89fc19b97b3dc3f86e3aee38dd20f198d8f3e8c.zip | |
Merge pull request #58368 from marsam/update-timescaledb
timescaledb: 1.0.0 -> 1.2.2, timescaledb-parallel-copy: 2018-05-14 -> 0.2.0, timescaledb-tune: init at 0.5.0
Diffstat (limited to 'pkgs/development/coq-modules')
0 files changed, 0 insertions, 0 deletions