Guillaume Maudoux 33399c9de8 Merge pull request #229008 from whonore/dafny-4 ... dafny: 2.3.0 -> 4.0.0		2023-05-17 09:53:06 +02:00
..
aerospike	aerospike: mark as insecure	2023-03-23 10:22:17 +02:00
apache-jena	apache-jena-fuseki: 4.3.1 -> 4.8.0	2023-05-10 11:31:51 +02:00
arangodb
cassandra	treewide: switch builtins.fromJSON(builtins.readFile ./file.json) to lib.importJSON ./file.json #2	2023-05-06 16:20:13 +02:00
dragonflydb
eventstore	buildDotnetModule: add support for dotnet tools	2023-04-29 18:54:04 -04:00
ferretdb	ferretdb: 1.0.0 -> 1.1.0 (#231058)	2023-05-10 14:28:50 +02:00
immudb
influxdb
influxdb2	influxdb2-cli: 2.7.1 -> 2.7.3	2023-04-29 15:44:36 +00:00
janusgraph
mongodb	mongodb-4_4: 4.4.13 -> 4.4.19	2023-03-27 22:15:23 +02:00
neo4j
redis	redis: 7.0.10 -> 7.0.11	2023-04-17 22:56:11 +02:00
rethinkdb
surrealdb	surrealdb: 1.0.0-beta.8 -> 1.0.0-beta.9	2023-04-01 10:20:27 -04:00
victoriametrics	victoriametrics: add meta.mainProgram	2023-04-01 15:26:44 +02:00