proc `$`(ver: Version): string {.borrow, ...raises: [], tags: [], forbids: [].}

proc `<`(ver: Version; ver2: Version): bool {....raises: [ValueError], tags: [],
    forbids: [].}

proc addPackage(conf: ConfigRef; packages: var PackageInfo; p: string;
                info: TLineInfo) {....raises: [ValueError, Exception, KeyError,
    IOError, ERecoverableError], tags: [RootEffect, ReadDirEffect,
                                        WriteIOEffect, ReadIOEffect,
                                        ReadEnvEffect], forbids: [].}

proc addPath(conf: ConfigRef; path: AbsoluteDir; info: TLineInfo) {....raises: [],
    tags: [], forbids: [].}

proc getPathVersionChecksum(p: string): tuple[name, version, checksum: string] {.
    ...raises: [], tags: [], forbids: [].}

proc newVersion(ver: string): Version {....raises: [], tags: [], forbids: [].}

proc nimblePath(conf: ConfigRef; path: AbsoluteDir; info: TLineInfo) {....raises: [
    OSError, ValueError, Exception, KeyError, IOError, ERecoverableError], tags: [
    ReadDirEffect, RootEffect, WriteIOEffect, ReadIOEffect, ReadEnvEffect],
    forbids: [].}