Commits · master · curry-packages / keydb

Jun 01, 2021
- Update to new global API · 27784a9e
  Michael Hanus authored 4 years ago
  
  View commits for tag v3.1.0 v3.1.0
  
  27784a9e
May 31, 2021
- Update to new global API · a5ea5501
  Michael Hanus authored 4 years ago
  
  a5ea5501
- Dependencies updated · d1d05419
  Michael Hanus authored 4 years ago
  
  View commits for tag v3.0.0 v3.0.0
  
  d1d05419
Mar 23, 2021
- Drop use of ReadShowTerm · 3231d954
  Michael Hanus authored 4 years ago
  
  3231d954
Dec 15, 2020
- Adapt to version3 · a39f9be4
  Michael Hanus authored 4 years ago
  
  a39f9be4
Nov 29, 2020
- Dependencies refined · 7ddce552
  Michael Hanus authored 4 years ago
  
  View commits for tag v2.0.0 v2.0.0
  
  7ddce552
Jan 02, 2019
- Imports updated · 021ba6a2
  Michael Hanus authored 6 years ago
  
  021ba6a2
- Merge branch 'master' of ssh://git.ps.informatik.uni-kiel.de:55055/curry-packages/keydb · 93a3185d
  Michael Hanus authored 6 years ago
  
  93a3185d
Oct 11, 2017
- Typos corrected · 6682756f
  Michael Hanus authored 7 years ago
  
  View commits for tag v1.0.0 v1.0.0
  
  6682756f
- Typeclass version packaged · f5525b71
  Michael Hanus authored 7 years ago
  
  f5525b71
- KeyDatabaseSQLite packaged · 390b1a1a
  Michael Hanus authored 7 years ago
  
  390b1a1a