old_contents: __version__ = "1.3.0"
  
  from deriva.core.utils.core_utils import *
  from deriva.core.base_cli import BaseCLI, KeyValuePairArgs
  from deriva.core.deriva_binding import DerivaBinding, DerivaPathError, DerivaClientContext
  from deriva.core.deriva_server import DerivaServer
  from deriva.core.ermrest_catalog import ErmrestCatalog, ErmrestSnapshot, ErmrestCatalogMutationError
  from deriva.core.polling_ermrest_catalog import PollingErmrestCatalog
  from deriva.core.hatrac_store import HatracStore, HatracHashMismatch, HatracJobPaused, HatracJobAborted, \
      HatracJobTimeout
  
new_contents: __version__ = "1.3.1"
  
  from deriva.core.utils.core_utils import *
  from deriva.core.base_cli import BaseCLI, KeyValuePairArgs
  from deriva.core.deriva_binding import DerivaBinding, DerivaPathError, DerivaClientContext
  from deriva.core.deriva_server import DerivaServer
  from deriva.core.ermrest_catalog import ErmrestCatalog, ErmrestSnapshot, ErmrestCatalogMutationError
  from deriva.core.polling_ermrest_catalog import PollingErmrestCatalog
  from deriva.core.hatrac_store import HatracStore, HatracHashMismatch, HatracJobPaused, HatracJobAborted, \
      HatracJobTimeout
  
subject: Bump version.