From 67a355818374b035987702da405d94be0c8960f7 Mon Sep 17 00:00:00 2001 From: Zachary Sunberg Date: Thu, 1 Nov 2018 13:15:54 -0700 Subject: [PATCH] Tag ParticleFilters.jl v0.3.0 [https://github.com/JuliaPOMDP/ParticleFilters.jl/releases/tag/v0.3.0] --- ParticleFilters/versions/0.3.0/requires | 5 +++++ ParticleFilters/versions/0.3.0/sha1 | 1 + 2 files changed, 6 insertions(+) create mode 100644 ParticleFilters/versions/0.3.0/requires create mode 100644 ParticleFilters/versions/0.3.0/sha1 diff --git a/ParticleFilters/versions/0.3.0/requires b/ParticleFilters/versions/0.3.0/requires new file mode 100644 index 00000000000..f28b28e8eae --- /dev/null +++ b/ParticleFilters/versions/0.3.0/requires @@ -0,0 +1,5 @@ +julia 0.7 +StatsBase +POMDPs 0.6 +POMDPModelTools +POMDPPolicies diff --git a/ParticleFilters/versions/0.3.0/sha1 b/ParticleFilters/versions/0.3.0/sha1 new file mode 100644 index 00000000000..32cdab32f50 --- /dev/null +++ b/ParticleFilters/versions/0.3.0/sha1 @@ -0,0 +1 @@ +b991174a85dbf9ddd52b0c4dd4f286f4d64e6861