Minor environment updates on 2020-01-14

merges #301

Author: dhimmel

build/environment.yml

@@ -7,19 +7,19 @@ dependencies:
   - cffi=1.12.3
   - ghp-import=0.5.5
   - jinja2=2.10.3
-  - jsonschema=3.1.1
-  - pandas=0.25.2
+  - jsonschema=3.2.0
+  - pandas=0.25.3
   - pandoc=2.9
   - pango=1.40.14
   - pip=19.3
-  - psutil=5.6.3
-  - python=3.7.3
-  - pyyaml=5.1
+  - psutil=5.6.7
+  - python=3.7.6
+  - pyyaml=5.3
   - requests=2.22.0
   - watchdog=0.9.0
   - pip:
     - errorhandler==2.0.1
-    - git+https://github.com/manubot/manubot@5ac49d740aeba413a3af94f8b5d9b78812b641f0
+    - git+https://github.com/manubot/manubot@6a35918777228197b96e57e195320e42d6039fe1
     - jsonref==0.2
     - opentimestamps-client==0.7.0
     - opentimestamps==0.4.1

ci/install.sh

@@ -6,7 +6,7 @@
 set -o errexit \
     -o pipefail
 
-wget https://repo.continuum.io/miniconda/Miniconda3-4.7.10-Linux-x86_64.sh \
+wget https://repo.continuum.io/miniconda/Miniconda3-4.7.12.1-Linux-x86_64.sh \
     --output-document miniconda.sh
 bash miniconda.sh -b -p $HOME/miniconda
 source $HOME/miniconda/etc/profile.d/conda.sh