From 863de050e654073101b2789d3e23f98483b85f21 Mon Sep 17 00:00:00 2001 From: Zachary Sunberg Date: Thu, 1 Nov 2018 15:13:08 -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..2602d0543f7 --- /dev/null +++ b/ParticleFilters/versions/0.3.0/sha1 @@ -0,0 +1 @@ +ea6111de2e105c7f5f3759d144817e9c0eb3acb2