summaryrefslogtreecommitdiff
path: root/gnu/packages/guile.scm
AgeCommit message (Expand)Author
2018-01-11Merge branch 'master' into core-updatesLeo Famulari
2018-01-11gnu: guile-bytestructures: Update to 1.0.1....* gnu/package/guile.scm (guile-bytestructures): Update to 1.0.1. [source]: Use tarball from github instead of git. [build-system]: Use GNU-BUILD-SYSTEM. [arguments]: Remove. [navitve-inputs]: Add PKG-CONFIG. Signed-off-by: Ludovic Courtès <ludo@gnu.org> amirouche
2017-12-30gnu: guile@2.2: Fix cross-compilation....Previously it would fail with: GUILEC language/elisp/boot.go [...] In language/bytecode/spec.scm: 28:15 2 (bytecode->value #vu8(127 69 76 70 1 1 1 255 0 0 0 0 0 0 0 0 3 0 0 0 1 0 0 0 0 0 0 0 52 0 0 0 24 ?) ?) In unknown file: 1 (load-thunk-from-memory #vu8(127 69 76 70 1 1 1 255 0 0 0 0 0 0 0 0 3 0 0 0 1 0 0 0 0 0 0 0 52 0 0 ?)) In ice-9/boot-9.scm: 752:25 0 (dispatch-exception _ _ _) ice-9/boot-9.scm:752:25: In procedure dispatch-exception: In procedure load-thunk-from-memory: No such file or directory * gnu/packages/guile.scm (guile-2.2)[arguments]: New field. Ludovic Courtès
2017-12-19Merge branch 'master' into core-updatesMarius Bakke
2017-12-15gnu: guile-gdbm-ffi: Default to Guile 2.2....* gnu/packages/guile.scm (guile-gdbm-ffi)[inputs]: Switch to GUILE-2.2. (guile2.0-gdbm-ffi, guile2.2-gdbm-ffi): New variables. Ludovic Courtès
2017-12-13gnu: guile-gdbm-ffi: Install documentation....* gnu/packages/guile.scm (guile-gdbm-ffi)[arguments]: Install README.md and some examples. Tidy up MKDIR-P calls. Tobias Geerinckx-Rice
2017-12-08gnu: guile: Move Readline support to a separate 'guile-readline' package....This reduces the closure of Guile from 131 MiB to 116 MiB and removes extra readline/ncurses builds from the bootstrap path. * gnu/packages/guile.scm (guile-2.0)[inputs]: Remove READLINE. (make-guile-readline): New procedure. (guile-readline): New variable. * gnu/system/shadow.scm (default-skeletons): Adjust '.guile' so that it gracefully deals with missing (ice-9 readline). Ludovic Courtès
2017-12-05gnu: guile: Update to 2.2.3....* gnu/packages/guile.scm (guile-2.2): Update to 2.2.3. (guile-2.2.3): Remove variable. Marius Bakke
2017-12-03gnu: guile-dsv: Update to 0.2.1 & correct sha256....* gnu/packages/guile.scm (guile-dsv): Update to 0.2.1. Alex Sassmannshausen
2017-12-01gnu: guile-sly: Do not propagate Guile....* gnu/packages/guile.scm (guile-sly)[propagated-inputs]: Move GUILE-2.2 to... [inputs]: ... here. Ludovic Courtès
2017-12-01gnu: guile: Add version 2.2.3....* gnu/packages/guile.scm (guile-2.2.3): New variable. Ludovic Courtès
2017-11-27gnu: guile-wisp: Move .go files to 'lib/guile/2.2/site-ccache'....* gnu/packages/guile.scm (guile-wisp)[arguments]: Remove (system base compile) from #:modules, and (ice-9 rdelim) and (ice-9 popen). In 'install-go-files' phase, invoke 'guild' to compile, and write to lib/guile/X.Y/site-ccache. Ludovic Courtès
2017-11-27gnu: guile-wisp: Switch to Guile 2.2....* gnu/packages/guile.scm (guile-wisp)[inputs]: Use GUILE-2.2 instead of GUILE-2.0. Ludovic Courtès
2017-11-27gnu: guile-wisp: Update to 0.9.8....* gnu/packages/guile.scm (guile-wisp): Update to 0.9.8. [inputs]: Remove PYTHON. [native-inputs]: New field. [arguments]: Keep 'install' phase. Add 'install-go-files' phase. Adjust 'substitute-before-config' phase. Ludovic Courtès
2017-11-25gnu: Add guile-dsv....* gnu/packages/guile.scm (guile-dsv): New variable. Alex Sassmannshausen
2017-11-07gnu: guile-git: Update snapshot....* gnu/packages/guile.scm (guile-git): Update to commit 951a32c. Ludovic Courtès
2017-10-14gnu: guile-sdl, guile-sly: Switch to Guile 2.2....* gnu/packages/sdl.scm (guile-sdl)[inputs]: Replace GUILE-2.0 with GUILE-2.2. [arguments]: Add 'skip-cursor-test' phase. * gnu/packages/guile.scm (guile-sly)[propagated-inputs]: Switch to GUILE-2.2. Ludovic Courtès
2017-10-14gnu: guile-sly: Remove 2.0-specific bits....* gnu/packages/guile.scm (guile-sly)[source](modules, snippet): New fields. Ludovic Courtès
2017-10-10Merge branch 'staging'Marius Bakke
2017-10-08gnu: Add guile-colorized....* gnu/packages/guile.scm (guile-colorized): New variable. Signed-off-by: Ludovic Courtès <ludo@gnu.org> ng0
2017-10-05Merge branch 'master' into stagingMarius Bakke
2017-10-03Update e-mail for Theodoros Foradis....* .mailmap: Add entry. * gnu/packages/aspell.scm: Replace theodoros.for@openmailbox.org with current address. * gnu/packages/compression.scm: Likewise. * gnu/packages/electronics.scm: Likewise. * gnu/packages/engineering.scm: Likewise. * gnu/packages/fpga.scm: Likewise. * gnu/packages/graphviz.scm: Likewise. * gnu/packages/guile.scm: Likewise. * gnu/packages/libusb.scm: Likewise. * gnu/packages/maths.scm: Likewise. * gnu/packages/messaging.scm: Likewise. * gnu/packages/uml.scm: Likewise. * gnu/packages/wxwidgets.scm: Likewise. Signed-off-by: Ludovic Courtès <ludo@gnu.org> Theodoros Foradis
2017-09-20gnu: Use 'modify-phases' syntax....* gnu/packages/admin.scm (mingetty, clusterssh, wpa-supplicant-minimal, wpa-supplicant, wakelan, acpica, tree, direvent, dstat)[arguments]: Use 'modify-phases' syntax. * gnu/packages/algebra.scm (arb)[arguments]: Likewise. * gnu/packages/apr.scm (apr-util)[arguments]: Likewise. * gnu/packages/audio.scm (clalsadrv, fluidsynth, faad2, lv2-mda-piano, lv2-mda-epiano, timidity++, vamp, soundtouch, portaudio, rsound, zita-convolver, zita-alsa-pcmi)[arguments]: Likewise. * gnu/packages/backup.scm (rdup, btar)[arguments]: Likewise. * gnu/packages/bioinformatics.scm (bedops, bwa, crossmap, express, flexbar, grit, hisat, ngs-sdk, subread)[arguments]: Likewise. * gnu/packages/bittorrent.scm (transmission)[arguments]: Likewise. * gnu/packages/cdrom.scm (cd-discid)[arguments]: Likewise. * gnu/packages/compression.scm (sharutils)[arguments]: Likewise. * gnu/packages/conky.scm (conky)[arguments]: Likewise. * gnu/packages/databases.scm (bdb, bdb-5.3)[arguments]: Likewise. * gnu/packages/debug.scm (delta, c-reduce)[arguments]: Likewise. * gnu/packages/display-managers.scm (slim)[arguments]: Likewise. * gnu/packages/dns.scm (dnsmasq)[arguments]: Likewise. * gnu/packages/emacs.scm (geiser, emacs-wget, bbdb)[arguments]: Likewise. * gnu/packages/engineering.scm (pcb)[arguments]: Likewise. * gnu/packages/firmware.scm (ath9k-htc-firmware)[arguments]: Likewise. * gnu/packages/flashing-tools.scm (flashrom)[arguments]: Likewise. * gnu/packages/fltk.scm (fltk)[arguments]: Likewise. * gnu/packages/freedesktop.scm (python-pyxdg)[arguments]: Likewise. * gnu/packages/gd.scm (perl-gd)[arguments]: Likewise. * gnu/packages/gkrellm.scm (gkrellm)[arguments]: Likewise. * gnu/packages/glib.scm (glibmm)[arguments]: Likewise. * gnu/packages/gl.scm (glew)[arguments]: Likewise. * gnu/packages/gnome.scm (icon-naming-utils, orbit2, libbonobo, gnome-vfs, libgnome, libbonoboui, goffice-0.8, dconf)[arguments]: Likewise. * gnu/packages/gprolog.scm (gprolog)[arguments]: Likewise. * gnu/packages/gps.scm (gpscorrelate)[arguments]: Likewise. * gnu/packages/graphics.scm (agg)[arguments]: Likewise. * gnu/packages/gtk.scm (ganv, girara, gtksourceview-2, guile-present, python2-pycairo)[arguments]: Likewise. * gnu/packages/guile.scm (guile-1.8)[arguments]: Likewise. * gnu/packages/guile-wm.scm (guile-wm)[arguments]: Likewise. * gnu/packages/hugs.scm (hugs)[arguments]: Likewise. * gnu/packages/hurd.scm (gnumach-headers, hurd-headers, hurd-minimal) [arguments]: Likewise. * gnu/packages/image-viewers.scm (feh, sxiv)[arguments]: Likewise. * gnu/packages/libcanberra.scm (libcanberra)[arguments]: Likewise. * gnu/packages/linux.scm (bridge-utils, iw, fuse, unionfs-fuse/static, lm-sensors, i2c-tools, xsensors, perf, mdadm, libaio, module-init-tools) [arguments]: Likewise. * gnu/packages/lisp.scm (ccl)[arguments]: Likewise. * gnu/packages/lout.scm (lout)[arguments]: Likewise. * gnu/packages/lua.scm (luajit)[arguments]: Likewise. * gnu/packages/machine-learning.scm (shogun)[arguments]: Likewise. * gnu/packages/mail.scm (exim)[arguments]: Likewise. * gnu/packages/man.scm (man-pages, txt2man)[arguments]: Likewise. * gnu/packages/maths.scm (lapack, superlu-dist, openlibm, openspecfun) [arguments]: Likewise. * gnu/packages/messaging.scm (bitlbee)[arguments]: Likewise. * gnu/packages/mp3.scm (libmad, id3lib, mp3info)[arguments]: Likewise. * gnu/packages/music.scm (solfege)[arguments]: Likewise. * gnu/packages/noweb.scm (noweb)[arguments]: Likewise. * gnu/packages/patchutils.scm (patchutils, quilt, colordiff)[arguments]: Likewise. * gnu/packages/pdf.scm (xpdf, zathura-cb, zathura-ps, zathura-djvu, zathura-pdf-poppler, zathura, podofo, fbida)[arguments]: Likewise. * gnu/packages/perl.scm (perl-file-list, perl-test-harness)[arguments]: Likewise. * gnu/packages/photo.scm (gphoto2)[arguments]: Likewise. * gnu/packages/popt.scm (popt)[arguments]: Likewise. * gnu/packages/pretty-print.scm (source-highlight, astyle)[arguments]: Likewise. * gnu/packages/pumpio.scm (pumpa)[arguments]: Likewise. * gnu/packages/python.scm (python-passlib, python-pycrypto, python2-empy, python-sqlalchemy, python-docopt)[arguments]: Likewise. * gnu/packages/rdf.scm (lrdf)[arguments]: Likewise. * gnu/packages/regex.scm (tre)[arguments]: Likewise. * gnu/packages/rrdtool.scm (rrdtool)[arguments]: Likewise. * gnu/packages/ruby.scm (ruby-2.1, ruby-1.8)[arguments]: Likewise. * gnu/packages/sawfish.scm (sawfish)[arguments]: Likewise. * gnu/packages/scheme.scm (racket)[arguments]: Likewise. * gnu/packages/sdl.scm (guile-sdl)[arguments]: Likewise. * gnu/packages/serveez.scm (serveez)[arguments]: Likewise. * gnu/packages/skribilo.scm (skribilo)[arguments]: Likewise. * gnu/packages/smalltalk.scm (smalltalk)[arguments]: Likewise. * gnu/packages/suckless.scm (dmenu, slock)[arguments]: Likewise. * gnu/packages/tcl.scm (expect)[arguments]: Likewise. * gnu/packages/telephony.scm (commoncpp)[arguments]: Likewise. * gnu/packages/textutils.scm (recode, libgtextutils)[arguments]: Likewise. * gnu/packages/time.scm (time)[arguments]: Likewise. * gnu/packages/tor.scm (privoxy)[arguments]: Likewise. * gnu/packages/uucp.scm (uucp)[arguments]: Likewise. * gnu/packages/video.scm (libdvdnav-4)[arguments]: Likewise. * gnu/packages/web-browsers.scm (lynx)[arguments]: Likewise. * gnu/packages/web.scm (tinyproxy)[arguments]: Likewise. * gnu/packages/wicd.scm (wicd)[arguments]: Likewise. * gnu/packages/wm.scm (bspwm)[arguments]: Likewise. * gnu/packages/xdisorg.scm (sxhkd, xcape)[arguments]: Likewise. * gnu/packages/xfce.scm (xfconf)[arguments]: Likewise. * gnu/packages/xfig.scm (transfig)[arguments]: Likewise. * gnu/packages/xorg.scm (imake)[arguments]: Likewise. Kei Kebreau
2017-09-04gnu: Put autoconf-related phases immediately after the 'unpack phase....* gnu/packages/audio.scm (audacity, rtmidi)[arguments]: Correct phases accordingly. * gnu/packages/bioinformatics.scm (mash, seek, vsearch, emboss, htslib-for-sambamba)[arguments]: Likewise. * gnu/packages/ci.scm (cuirass)[arguments]: Likewise. * gnu/packages/compression.scm (minizip, xdelta)[arguments]: Likewise. * gnu/packages/cpp.scm (libzen)[arguments]: Likewise. * gnu/packages/crypto.scm (opendht)[arguments]: Likewise. * gnu/packages/databases.scm (4store, mdbtools)[arguments]: Likewise. * gnu/packages/debug.scm (stress-make)[arguments]: Likewise. * gnu/packages/dns.scm (dnscrypt-proxy, dnscrypt-wrapper)[arguments]: Likewise. * gnu/packages/emacs.scm (emacs-pdf-tools)[arguments]: Likewise. * gnu/packages/embedded.scm (libjaylink, openocd)[arguments]: Likewise. * gnu/packages/engineering.scm (gerbv)[arguments]: Likewise. * gnu/packages/erlang.scm (erlang)[arguments]: Likewise. * gnu/packages/ftp.scm (weex)[arguments]: Likewise. * gnu/packages/gnome.scm (dia)[arguments]: Likewise. * gnu/packages/gnunet.scm (gnurl, guile-gnunet)[arguments]: Likewise. * gnu/packages/gtk.scm (guile-rsvg, graphene)[arguments]: Likewise. * gnu/packages/guile.scm (guildhall, guile-ics, guile-sqlite3)[arguments]: Likewise. * gnu/packages/ibus.scm (ibus-libpinyin)[arguments]: Likewise. * gnu/packages/irc.scm (weechat)[arguments]: Likewise. * gnu/packages/java.scm (classpath-devel)[arguments]: Likewise. * gnu/packages/libreoffice.scm (libetonyek)[arguments]: Likewise. * gnu/packages/libusb.scm (hidapi)[arguments]: Likewise. * gnu/packages/linux.scm (gpm)[arguments]: Likewise. * gnu/packages/logging.scm (glog)[arguments]: Likewise. * gnu/packages/machine-learning.scm (ghmm)[arguments]: Likewise. * gnu/packages/mail.scm (dovecot-trees, dovecot-libsodium-plugin, esmtp) [arguments]: Likewise. * gnu/packages/messaging.scm (freetalk, libmesode, libstrophe)[arguments]: Likewise. * gnu/packages/microcom.scm (microcom)[arguments]: Likewise. * gnu/packages/ocaml.scm (ocaml-ssl)[arguments]: Likewise. * gnu/packages/parallel.scm (slurm)[arguments]: Likewise. * gnu/packages/pdf.scm (libharu)[arguments]: Likewise. * gnu/packages/samba.scm (cifs-utils)[arguments]: Likewise. * gnu/packages/serialization.scm (msgpack)[arguments]: Likewise. * gnu/packages/shells.scm (scsh)[arguments]: Likewise. * gnu/packages/telephony.scm (libiax2)[arguments]: Likewise. * gnu/packages/textutils.scm (dotconf)[arguments]: Likewise. * gnu/packages/version-control.scm (findnewest)[arguments]: Likewise. * gnu/packages/video.scm (libmediainfo, mediainfo)[arguments]: Likewise. Kei Kebreau
2017-08-27gnu: Give descriptive file-names for some Git sources....* gnu/packages/java.scm (classpath-devel)[source]: Set the file-name. * gnu/packages/guile.scm (guile-for-guile-emacs, guile-syntax-highlight)[source]: Likewise. Leo Famulari
2017-08-01Merge branch 'master' into core-updatesMarius Bakke
2017-08-01gnu: artanis: Unbundled guile-json and version according to documentation....* gnu/packages/guile.scm (artanis): Unbundled guile-json and version according to documentation. Signed-off-by: Ludovic Courtès <ludo@gnu.org> Adonay Felipe Nogueira
2017-07-31gnu: guile-bytestructures: Install .go files to lib/guile/X.Y....* gnu/packages/guile.scm (guile-bytestructures)[arguments]: Install .go files to OBJECT-DIR, defined as OUT/lib/guile/X.Y/site-ccache. Ludovic Courtès
2017-07-31gnu: guile-git: Skip faulty tests on non-x86_64....Reported by Mark H Weaver. * gnu/packages/guile.scm (guile-git)[arguments]: Add 'skip-tests' phase unless on x86_64-linux. Ludovic Courtès
2017-07-28gnu: guile-git: Update snapshot....* gnu/packages/guile.scm (guile-git): Update to commit e156a10. [native-inputs]: Add TEXINFO. Ludovic Courtès
2017-07-28Merge branch 'master' into core-updatesMarius Bakke
2017-07-25gnu: Add guile2.0-git....* gnu/packages/guile.scm (guile2.0-git): New variable. Ludovic Courtès
2017-07-25gnu: Add guile2.0-bytestructures....* gnu/packages/patches/guile-bytestructures-name-clash.patch: New file. * gnu/local.mk (dist_patch_DATA): Add it. * gnu/packages/guile.scm (guile-bytestructures)[source]: Use it. [arguments]: Unpack the source. [native-inputs]: New field. (guile2.0-bytestructures): New variable. Ludovic Courtès
2017-07-23Merge branch 'master' into core-updatesLeo Famulari
2017-07-20gnu: Update g-wrap to use guile-2.2....* gnu/packages/guile.scm (g-wrap): [propagated-inputs]: Use guile-2.2. [arguments]: Add "--disable-Werror" to configure-flags. Signed-off-by: Ludovic Courtès <ludo@gnu.org> Theodoros Foradis
2017-07-19gnu: guile-bash: Add dependency on the "full" Bash....Fixes a regression introduced in 704243e0c6ec5ac86e2f45aaa469717e60b89124. * gnu/packages/guile.scm (guile-bash)[native-inputs]: Add BASH. Ludovic Courtès
2017-07-15gnu: Add guile-ncurses-with-gpm....* gnu/packages/guile.scm (guile-ncurses/gpm): New variable. Danny Milosavljevic
2017-07-10Merge branch 'master' into core-updatesLeo Famulari
2017-07-06gnu: artanis: Update source URL....* gnu/packages/guile.scm (artanis)[source]: Change URL to mirror://gnu. Ludovic Courtès
2017-07-03packages: Mark 'replacement' as an "innate" field....Suggested by Mark H Weaver at <https://lists.gnu.org/archive/html/guix-devel/2017-06/msg00355.html>. * guix/packages.scm (<package>)[replacement]: Mark as "innate". * gnu/packages/base.scm (glibc-2.25-patched, glibc-2.24) (glibc-2.23, glibc-2.22, glibc-2.21, glibc-locales): Remove 'replacement' field, which was set to #f. * gnu/packages/commencement.scm (perl-boot0): Likewise. * gnu/packages/fontutils.scm (graphite2/fixed): Likewise. * gnu/packages/ghostscript.scm (ghostscript/fixed): Likewise. * gnu/packages/gnupg.scm (libgcrypt-1.7.8): Likewise. * gnu/packages/guile.scm (guile-2.0/fixed, guile-2.2): Likewise. * gnu/packages/icu4c.scm (icu4c/fixed): Likewise. * gnu/packages/image.scm (libpng-apng): Likewise. * gnu/packages/make-bootstrap.scm (%guile-static): Likewise. * gnu/packages/pcre.scm (pcre/fixed): Likewise. * gnu/packages/perl.scm (perl/fixed): Likewise. * gnu/packages/ruby.scm (ruby-2.3, ruby-2.2, ruby-2.1) (ruby-1.8): Likewise. * gnu/packages/tls.scm (gnutls-3.5.13, gnutls/guile-2.2): Likewise. * gnu/packages/xml.scm (expat-2.2.1): Likewise. Ludovic Courtès
2017-07-02gnu: Switch guile-cairo and dependents to Guile 2.2 again....Fixes <https://bugs.gnu.org/27551>. Reported by Leo Famulari <leo@famulari.name>. This reinstates the following commits: e3ddb1e83 * gnu: guile-cairo: Switch to Guile 2.2. ae5c6ef39 * gnu: guile-gnome: Update to 2.16.5. 0fd8013fc * gnu: guile-rsvg: Update to commit 05c6a2fd. 66b9183c4 * gnu: guile-lib: Switch to Guile 2.2. and adds the following changes: * gnu/bootloader/grub.scm (svg->png): Add 'package->derivation' call for GUILE-2.2. Pass #:guile-for-build to 'gexp->derivation'. * gnu/build/svg.scm (svg->png): Add 'em' and 'ex' to the 'let-values' form to account for all the values returned by 'rsvg-handle-get-dimensions', which Guile 2.2 does not truncate. Ludovic Courtès
2017-07-01Revert "gnu: guile-lib: Switch to Guile 2.2."...This reverts commit 66b9183c4f634d9b2ae41176e4eddf0ebb218532. Leo Famulari
2017-07-01gnu: guile-git: Update source URL....* gnu/packages/guile.scm (guile-git)[source]: Update URL. Leo Famulari
2017-06-30gnu: guile-lib: Switch to Guile 2.2....* gnu/packages/guile.scm (guile-lib)[inputs]: Replace GUILE-2.0 with GUILE-2.2. (guile2.0-lib): New variable. (guile2.2-lib): Mark as deprecated. * gnu/packages/guile.scm (guile-ics): Use GUILE2.0-LIB. * gnu/packages/gtk.scm (guile-cairo, guile-rsvg) (guile-present, guile-gnome): Likewise. * gnu/packages/skribilo.scm (skribilo): Likewise. Ludovic Courtès
2017-06-30gnu: guile-lib: Update to 0.2.5.1....* gnu/packages/guile.scm (guile-lib): Update to 0.2.5.1. Ludovic Courtès
2017-06-26Merge branch 'master' into core-updatesMark H Weaver
2017-06-20gnu: Move contents of zip module into compression module....* gnu/packages/zip.scm (zip, unzip, zziplib, perl-zip): Move to... * gnu/packages/compression.scm: ...here. * gnu/packages/zip.scm: Delete file. * gnu/local.mk (GNU_SYSTEM_MODULES): Unregister deleted file. * po/packages/POTFILES.in: Unregister deleted file. * gnu/packages/{audio, avr, bioinformatics, busybox, cdrom, ci, compression, docbook, documentation, fonts, fpga, game-development, games, gl, gnome, gnuzilla, graphics, guile, haskell, image, java, kodi, ldc, libreoffice, markup, maths, mc, monitoring, music, php, pretty-print, python, scheme, smalltalk, statistics, synergy, tex, textutils, video, web-browsers, xml, zip}.scm, guix/build-system/{ant, font}.scm, guix/{download, packages}.scm: Adapt module import. Arun Isaac
2017-06-20gnu: guile-2.2/fixed: Increase timeout and max-silent-time....* gnu/packages/guile.scm (guile-2.2/fixed)[properties]: Add 'timeout' and 'max-silent-time' properties. Mark H Weaver
2017-06-20Merge branch 'master' into core-updatesMark H Weaver
2017-06-20gnu: guile@2.2: Increase max-silent-time to 10 hours....* gnu/packages/guile.scm (guile-2.2)[properties]: Increase max-silent-time to 10 hours. Mark H Weaver